External Links

    Journal: Inf. Comput.

    Volume 80, Issue 2

    97 -- 113Jan Willem Klop, Roel C. de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing
    114 -- 120Joost Engelfriet. The Power to Two-Way Deterministic Checking Stack Automata
    121 -- 151Gilles Bernot. Correctness Proofs for Abstract Implementation
    152 -- 164Vijay V. Vazirani. NC Algorithms for Computing the Number of Perfect Matchings in K_3,3-Free Graphs and Related Problems
    165 -- 191Patrick Cousot, Radhia Cousot. A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
    runs on