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=78
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Negation in rule-based dataase languages: A survey
Na Bidoit
Theoretical Computer Science
78
, 1991, pp. 3-83
Negation by default and unstratifiable logic programs
Nicole Bidoit
,
Christine Froidevaux
Theoretical Computer Science
78
, 1991, pp. 85-112
The semantics of incomplete databases as an expression of preferences
Véronique Royer
Theoretical Computer Science
78
, 1991, pp. 113-136
Fundamental properties of deterministic and nondeterministic extensions of Datalog
Serge Abiteboul
,
Eric Simon
Theoretical Computer Science
78
, 1991, pp. 137-158
On the representation and querying of sets of possible worlds
Serge Abiteboul
,
Paris Kanellakis
,
Gösta Grahne
Theoretical Computer Science
78
, 1991, pp. 159-187
Programming in three-valued logic
J.P. Delahaye
,
V. Thibau
Theoretical Computer Science
78
, 1991, pp. 189-216
Recursive queries and context-free graph grammars
Bruno Courcelle
Theoretical Computer Science
78
, 1991, pp. 217-244
An efficient strategy for non-Horn deductive databases
Robert Demolombe
Theoretical Computer Science
78
, 1991, pp. 245-259
Modular tree transducers
Joost Engelfriet
,
Heiko Vogler
Theoretical Computer Science
78
, 1990, pp. 267-303
On computational complexity and honest polynomial degrees
Rod Downey
Theoretical Computer Science
78
, 1990, pp. 305-317
Graphs and free partially commutative monoids
Roman König
Theoretical Computer Science
78
, 1990, pp. 319-346
The equivalence problem of multitape finite automata
T. Harju
,
J. Karhumäki
Theoretical Computer Science
78
, 1990, pp. 347-355
A note on some languages in uniform
\mbox{ACC}^0
David A. Mix Barrington
,
James Corbett
Theoretical Computer Science
78
, 1990, pp. 357-362
Searching subsequences
Ricardo A. Baeza-Yates
Theoretical Computer Science
78
, 1990, pp. 363-376
On the number of databases and closure operations
G. Burosch
,
J. Demetrovics
,
G.O.H. Katona
,
D.J. Kleitman
,
A.A. Sapozhenko
Theoretical Computer Science
78
, 1990, pp. 377-381