Information and Computation, Volume 65

Volume 65, Number 1, 1985

• John Grant, Jack Minker: Normalization and Axiomatization for Numerical Dependencies. 1-17
• Klaus Ambos-Spies: Sublattices of the Polynomial Time Degrees. 63-84

Volume 65, Number 2-3, 1985

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