External Links

    Journal: Theoretical Computer Science

    Volume 65, Issue 1

    1 -- 33Patrice Enjalbert, Luis Fariñas del Cerro. Modal Resolution in Clausal Form
    35 -- 83Martín Abadi. The Power of Temporal Proofs
    85 -- 119Satish R. Thatte. Full Abstraction and Limiting Completeness in Equational Languages
    runs on