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

    Volume 65, Issue 1

    1 -- 17John Grant, Jack Minker. Normalization and Axiomatization for Numerical Dependencies
    18 -- 41Oscar H. Ibarra, Louis E. Rosier. The Equivalence Problem and Correctness Formulas for a Simple Class of Programs
    42 -- 62Oscar H. Ibarra, Louis E. Rosier. On Simple Programs with Primitive Conditional Statements
    63 -- 84Klaus Ambos-Spies. Sublattices of the Polynomial Time Degrees
    runs on