Journals in DBLP

Inf. Comput.
1994, volume: 110, number: 2

1. Gilles Kahn
   Preface [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:0- [Journal]
   
2. Antonio Bucciarelli, Thomas Ehrhard
   Sequentiality in an Extensional Framework [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:265-296 [Journal]
   
3. Thierry Coquand
   An Analysis of Ramsey's Theorem [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:297-304 [Journal]
   
4. Patrice Godefroid, Pierre Wolper
   A Partial Approach to Model Checking [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:305-326 [Journal]
   
5. Joshua S. Hodas, Dale Miller
   Logic Programming in a Fragment of Intuitionistic Linear Logic [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:327-365 [Journal]
   
6. Dexter Kozen
   A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:366-390 [Journal]
   
7. Daniel Leivant
   A Foundational Delineation of Poly-time [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1994, v:110, n:2, pp:391-420 [Journal]