External Links

    Journal: Journal of Logic and Computation

    Volume 2, Issue 5

    551 -- 555Maarten H. van Emden. Editorial: Rhetoric versus Modernism in Computing
    557 -- 577A. W. Roscoe. An Alternative Order for the Failures Model
    579 -- 604Fairouz Kamareddine. Set Theory and Nominalization, Part I
    605 -- 618Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan. A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
    619 -- 656Dan Sahlin, Torkel Franzén, Seif Haridi. An Intuitionistic Predicate Logic Theorem Prover
    runs on