Information and Computation, Volume 85

Volume 85, Number 1, 1990

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

Volume 85, Number 2, 1990

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