Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=85
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Prudence and other conditions on formal language learning
Mark A. Fulk
Information and Computation
85
(1), 1990, March, pp. 1-11
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
Bruno Courcelle
Information and Computation
85
(1), 1990, March, pp. 12-75
The semantics of second-order lambda calculus
Kim B. Bruce
,
Albert R. Meyer
,
John C. Mitchell
Information and Computation
85
(1), 1990, March, pp. 76-134
Semantical analysis of specification logic
R.D. Tennent
Information and Computation
85
(2), 1990, April, pp. 135-162
Polynomial size
\Omega
-branching programs and their computational power
Christoph Meinel
Information and Computation
85
(2), 1990, April, pp. 163-182
Sequential machines realized by group representations
Michael Conner
Information and Computation
85
(2), 1990, April, pp. 183-201
Bisimulation and divergence
D.J. Walker
Information and Computation
85
(2), 1990, April, pp. 202-241