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
[2]
Hilfe
Suche: Author="Cartwright, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Iterative belief revision in extended logic programming
Jia-Huai You
,
Robert Cartwright
,
Ming Li
Theoretical Computer Science
170
(1-2), 1996, pp. 383-406
Fully abstract semantics for observably sequential languages
Robert Cartwright
,
Pierre-Louis Curien
,
Matthias Felleisen
Information and Computation
111
(2), 1994, June, pp. 297-401