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=Theor.~Comput.~Sci. AND Volume=42
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equivalences and transformations of regular systems-applications to recursive program schemes and grammars
B. Courcelle
Theoretical Computer Science
42
(1), 1986, May, pp. 1-122
Structured algebraic specifications: a kernel language
M. Wirsing
Theoretical Computer Science
42
(2), 1986, August, pp. 123-249
Pushdown machines for the macro tree transducer
J. Engelfriet
,
H. Vogler
Theoretical Computer Science
42
(3), 1986, October, pp. 251-368