Information and Computation, Volume 85

Volume 85, Number 1, 1990

• Mark A. Fulk: Prudence and Other Conditions on Formal Language Learning. 1-11 BibTeX
• Bruno Courcelle: The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs. 12-75 BibTeX
• Kim B. Bruce, Albert R. Meyer, John C. Mitchell: The Semantics of Second-Order Lambda Calculus. 76-134 BibTeX

Volume 85, Number 2, 1990

• Robert D. Tennent: Semantical Analysis of Specification Logic. 135-162 BibTeX
• Christoph Meinel: Polynomial Size Omega-Branching Programs and Their Computational Power. 163-182 BibTeX
• Michael Conner: Sequential Machines Realized by Group Representations. 183-201 BibTeX
• D. J. Walker: Bisimulation and Divergence. 202-241 BibTeX