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=166
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval logics and their decision procedures - Part I: An interval logic
Y.S. Ramakrishna
,
P.M. Melliar-Smith
,
L.E. Moser
,
L.K. Dillon
,
G. Kutty
Theoretical Computer Science
166
(1-2), 1996, pp. 1-47
An algebraic formulation of the aggregative closure query
Uchang Park
Theoretical Computer Science
166
(1-2), 1996, pp. 49-62
Monadic partition logics and finite automata
Enshao Shen
,
Qijia Tian
Theoretical Computer Science
166
(1-2), 1996, pp. 63-81
Comparing models of the intensional typed
\lambda
-calculus
R. Hoofman
Theoretical Computer Science
166
(1-2), 1996, pp. 83-99
Transformations of CLP modules
Sandro Etalle
,
Maurizio Gabbrielli
Theoretical Computer Science
166
(1-2), 1996, pp. 101-146
Meta-resolution: An algorithmic formalisation
Jean-Denis Fouks
,
Jean-Claude Spehner
Theoretical Computer Science
166
(1-2), 1996, pp. 147-172
Logical analysis of demonic nondeterministic programs
Stéphane Demri
,
Ewa Orƚowska
Theoretical Computer Science
166
(1-2), 1996, pp. 173-202
The largest cartesian closed category of stable domains
Guo-Qiang Zhang
Theoretical Computer Science
166
(1-2), 1996, pp. 203-219
A non-ground realization of the stable and well-founded semantics
Georg Gottlob
,
Sherry Marcus
,
Anil Nerode
,
Gernot Salzer
,
V.S. Subrahmanian
Theoretical Computer Science
166
(1-2), 1996, pp. 221-262
Topoligical methods for algebraic specification
Karl Meinke
Theoretical Computer Science
166
(1-2), 1996, pp. 263-290
The undecidability of simultaneous rigid
E
-unification
Anatoli Degtyarev
,
Andrei Voronkov
Theoretical Computer Science
166
(1-2), 1996, pp. 291-300