External Links

    Journal: Inf. Comput.

    Volume 65, Issue 2/3

    85 -- 97Richard Statman. Logical Relations and the Typed lambda-Calculus
    98 -- 121A. J. Kfoury. Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic)
    122 -- 157Nachum Dershowitz. Computing with Rewrite Systems
    158 -- 181Juris Hartmanis, Neil Immerman, Vivian Sewelson. Sparse Sets in NP-P: EXPTIME versus NEXPTIME
    182 -- 215David A. Plaisted. Semantic Confluence Tests and Completion Methods
    runs on