Information and Control, 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
  

Last update Mon May 20 00:59:20 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page