External Links

    Journal: Journal of Logic and Computation

    Volume 6, Issue 3

    315 -- 341Zhenyu Qian. Unification of Higher-Order Patterns in Linear Time and Space
    343 -- 361Limor Fix, Orna Grumberg. Verification of Temporal Properties
    363 -- 407Christopher P. Higgins. On the Declarative and Procedural Semantics of Definite Metalogic Programs
    409 -- 438Narciso Martí-Oliet, José Meseguer. Inclusions and Subtypes I: First-Order Case
    439 -- 463Nicole Bidoit, Serenella Cerrito, Christine Froidevaux. A Linear Logic Approach to Consistency Preserving Updates
    465 -- 479Ron van der Meyden. The Dynamic Logic of Permission
    runs on