Information and Computation, Volume 65

Volume 65, Number 1, 1985

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

Volume 65, Number 2-3, 1985

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