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="Reiter, Ray"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Some contributions to the metatheory of the situation calculus
Fiora Pirri
,
Ray Reiter
Journal of the ACM
46
(3), 1999, pp. 325-361
Two results on ordering for resolution with merging and linear format
Raymond Reiter
Journal of the ACM
18
, 1971, pp. 630-646