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
Copyright ©
Sat May 16 23:59:56 2009 by
Michael Ley
(
ley@uni-trier.de
)