Journals in DBLP

Mathematical Structures in Computer Science
1998, volume: 8, number: 6

1. Thomas Ehrhard, Yves Lafont, Laurent Regnier
   Foreword. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:541- [Journal]
   
2. Denis Bechet
   Minimality of the correctness criterion for multiplicative proof nets. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:543-558 [Journal]
   
3. Pierre-Louis Curien
   Abstract Böhm trees. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:559-591 [Journal]
   
4. Maribel Fernández
   Type assignment and termination of interaction nets. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:593-636 [Journal]
   
5. Philippe de Groote
   An environment machine for the lambda-mu-calculus. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:637-669 [Journal]
   
6. Gérard P. Huet
   Regular Böhm trees. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:671-680 [Journal]
   
7. Guy Perrier
   Concurrent programming as proof net construction. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:681-710 [Journal]