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=160
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Relation-algebraic semantics
Roger D. Maddux
Theoretical Computer Science
160
(1-2), 1996, pp. 1-85
The monadic second-order logic of graphs X: Linear orderings
Bruno Courcelle
Theoretical Computer Science
160
(1-2), 1996, pp. 87-143
Equational programming in
\lambda
-calculus via SL-systems: Part 1
Enrico Tronci
Theoretical Computer Science
160
(1-2), 1996, pp. 145-184
Equational programming in
\lambda
-calculus via SL-systems: Part 2
Enrico Tronci
Theoretical Computer Science
160
(1-2), 1996, pp. 185-216
CGOOD, a categorical graph-oriented object data model
Chris Tuijn
,
Marc Gyssens
Theoretical Computer Science
160
(1-2), 1996, pp. 217-239
Completeness of a first-order temporal logic with time-gaps
Matthias Baaz
,
Alexander Leitsch
,
Richard Zach
Theoretical Computer Science
160
(1-2), 1996, pp. 241-270
The power of the "always" operator in first-order temporal logic
Michael Kaminski
,
Chung Kei Wong
Theoretical Computer Science
160
(1-2), 1996, pp. 271-281
SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
Susumu Yamasaki
Theoretical Computer Science
160
(1-2), 1996, pp. 283-303
First-order spectra with one binary predicate
Arnaud Durand
,
Solomampionona Ranaivoson
Theoretical Computer Science
160
(1-2), 1996, pp. 305-320
Querying disjunctive databases through nonmonotonic logics
Piero A. Bonatti
,
Thomas Eiter
Theoretical Computer Science
160
(1-2), 1996, pp. 321-363
Negative Boolean constraints
Kim Marriott
,
Martin Odersky
Theoretical Computer Science
160
(1-2), 1996, pp. 365-380