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=114
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logical view of composition
Martín Abadi
,
Gordon D. Plotkin
Theoretical Computer Science
114
(1), 1993, pp. 3-30
Observing localities
G. Boudol
,
I. Castellani
,
M. Hennessy
,
A. Kiehn
Theoretical Computer Science
114
(1), 1993, pp. 31-61
Universal axioms for bisimulations
Pierpaolo Degano
,
Rocco De Nicola
,
Ugo Montanari
Theoretical Computer Science
114
(1), 1993, pp. 63-91
Reachability in cyclic extended free-choice systems
Jörg Desel
,
Javier Esparza
Theoretical Computer Science
114
(1), 1993, pp. 93-118
The expressive power of implicit specifications
Kim Guldstrand Larsen
Theoretical Computer Science
114
(1), 1993, pp. 119-147
Modal logics for mobile processes
Robin Milner
,
Joachim Parrow
,
David Walker
Theoretical Computer Science
114
(1), 1993, pp. 149-171
Bisimulation and action refinement
Walter Vogler
Theoretical Computer Science
114
(1), 1993, pp. 173-200
Information systems for continuous posets
Steven Vickers
Theoretical Computer Science
114
(2), 1993, pp. 201-229
Propositional circumscription and extended closed-world reasoning are
\Pi^p_2
-complete
Thomas Eiter
,
Georg Gottlob
Theoretical Computer Science
114
(2), 1993, pp. 231-245
A relational division operator: the conjugate kernel
Jules Desharnais
,
Ali Jaoua
,
Fatma Mili
,
Noureddine Boudriga
,
Ali Mili
Theoretical Computer Science
114
(2), 1993, pp. 247-272
Higher-order unification via combinators
Daniel J. Dougherty
Theoretical Computer Science
114
(2), 1993, pp. 273-298
Terminal coalgebras in well-founded set theory
Michael Barr
Theoretical Computer Science
114
(2), 1993, pp. 299-315
A simple sequent calculus for partial functions
Morten Elvang-Gransson
,
Olaf Owe
Theoretical Computer Science
114
(2), 1993, pp. 317-330