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=69
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Recursive query processing: The power of logic
Laurent Vieille
Theoretical Computer Science
69
, 1989, pp. 1-53
A relationl approach to logic programming: The extended Alexander method
Jean-Marc Kerisit
Theoretical Computer Science
69
, 1989, pp. 55-68
Algebraic specification of concurrent systems
Stéphane Kaplan
Theoretical Computer Science
69
, 1989, pp. 69-115
Two-level semantics and abstract interpretation
Flemming Nielson
Theoretical Computer Science
69
, 1989, pp. 117-242
A syntactic theory of sequential state
Matthias Felleisen
,
Daniel P. Friedman
Theoretical Computer Science
69
, 1989, pp. 243-287
Declarative modeling of the operational behavior of logic languages
M. Falaschi
,
G. Levi
,
C. Palamidessi
,
M. Martelli
Theoretical Computer Science
69
, 1989, pp. 289-318
Growth problems for avoidable words
Kirby A. Baker
,
George F. NcNulty
,
Walter Taylor
Theoretical Computer Science
69
, 1989, pp. 319-345