Arkady Rabinov Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1991
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Gelfond, Vladimir Lifschitz, Arkady Rabinov: What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 167-180
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkady Rabinov: First Order Theories of Quantification. EPIA 1989: 51-62
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Lifschitz, Arkady Rabinov: Things That Change by Themselves. IJCAI 1989: 864-867
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkady Rabinov: A Generalization of Collapsible Cases of Circumscription. Artif. Intell. 38(1): 111-117 (1989)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Lifschitz, Arkady Rabinov: Miracles in Formal Theories of Action. Artif. Intell. 38(2): 225-237 (1989)
1988
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkady Rabinov: A Restriction of Factoring in Binary Resolution. CADE 1988: 582-591

Coauthor Index

1Michael Gelfond [6]
2Vladimir Lifschitz [2] [4] [6]

Copyright © Tue Dec 22 17:48:42 2009 by Michael Ley (ley@uni-trier.de)