Journals in DBLP
Inf. Comput. 1994, volume: 110, number: 2
Gilles Kahn Preface [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:110, n:2, pp:0- [Journal ] 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 ] Thierry Coquand An Analysis of Ramsey's Theorem [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:110, n:2, pp:297-304 [Journal ] 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 ] 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 ] 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 ] Daniel Leivant A Foundational Delineation of Poly-time [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:110, n:2, pp:391-420 [Journal ]