External Links

    Journal: Inf. Comput.

    Volume 110, Issue 2

    0 -- 0Gilles Kahn. Preface
    265 -- 296Antonio Bucciarelli, Thomas Ehrhard. Sequentiality in an Extensional Framework
    297 -- 304Thierry Coquand. An Analysis of Ramsey s Theorem
    305 -- 326Patrice Godefroid, Pierre Wolper. A Partial Approach to Model Checking
    327 -- 365Joshua S. Hodas, Dale Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic
    366 -- 390Dexter Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
    391 -- 420Daniel Leivant. A Foundational Delineation of Poly-time
    runs on