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=184
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A unifying view for logic programming with non-monotonic reasoning
Antonio Brogi
,
Evelina Lamma
,
Paolo Mancarella
,
Paola Mello
Theoretical Computer Science
184
(1-2), 1997, pp. 1-59
Liminf convergence in
\Omega
-categories
Kim Ritter Wagner
Theoretical Computer Science
184
(1-2), 1997, pp. 61-104
A logical semantics for depth-first Prolog with ground negation
James Andrews
Theoretical Computer Science
184
(1-2), 1997, pp. 105-143
Algebraic transformation of unary partial algebras - I. Double-pushout approach
P. Burmeister
,
F. Rosselló
,
J. Torrens
,
G. Valiente
Theoretical Computer Science
184
(1-2), 1997, pp. 145-193
Dynamic constraints and object migration
Jianwen Su
Theoretical Computer Science
184
(1-2), 1997, pp. 195-236
0-1 laws by preservation
Thierry Lacoste
Theoretical Computer Science
184
(1-2), 1997, pp. 237-245