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=122
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A compositional semantics for logic programs
A. Bossi
,
M. Gabbrielli
,
G. Levi
,
M.C. Meo
Theoretical Computer Science
122
(1-2), 1994, pp. 3-47
Adding closed world assumptions to well-founded semantics
Luíz Moniz Pereira
,
José J. Alferes
,
Joaquim N. Aparício
Theoretical Computer Science
122
(1-2), 1994, pp. 49-68
Logic program synthesis from first-order logic specifications
Tadashi Kawamura
Theoretical Computer Science
122
(1-2), 1994, pp. 69-96
Sound and complete partial deduction with unfolding based on well-founded measures
Bern Martens
,
Danny de Schreye
,
Tamás Horváth
Theoretical Computer Science
122
(1-2), 1994, pp. 97-117
Realizability interpretation of coinductive definitions and program synthesis with streams
Makoto Tatsuta
Theoretical Computer Science
122
(1-2), 1994, pp. 119-136
Defining concurrent processes constructively
Yukihide Takayama
Theoretical Computer Science
122
(1-2), 1994, pp. 137-164
An abstract machine for concurrent modular systems: CHARM
Andrea Corradini
,
Ugo Montanari
,
Francesca Rossi
Theoretical Computer Science
122
(1-2), 1994, pp. 165-200
MLOG: A strongly typed confluent functional language with logical variables
V. Poirriez
Theoretical Computer Science
122
(1-2), 1994, pp. 201-223
On the duality of abduction and model generation in a framework for model generation with equality
Marc Denecker
,
Danny de Schreye
Theoretical Computer Science
122
(1-2), 1994, pp. 225-262
A feature constraint system for logic programming with entailment
Hassan Aït-Kaci
,
Andreas Podelski
,
Gert Smolka
Theoretical Computer Science
122
(1-2), 1994, pp. 263-283