David Scott Warren :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Michael Kifer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Michael Kifer cite David Scott Warren Ordered by citing publication [Change the order to 'ordered by cited' ]
Weidong Chen , Michael Kifer , David Scott Warren HiLog as a Platform for Database Languages. [Citation Graph (12, 18)][DBLP ] DBPL, 1989, pp:315-329 [Conf ] Cites:
Michael Kifer , Eliezer L. Lozinskii Implementing Logic Programs as a Database System. [Citation Graph (2, 25)][DBLP ] ICDE, 1987, pp:375-385 [Conf ] Cites:
Weidong Chen , Michael Kifer Sorted HiLog: Sorts in Higher-Order Logic Data Languages. [Citation Graph (0, 21)][DBLP ] ICDT, 1995, pp:252-265 [Conf ] Cites:
Jiyang Xu , David Scott Warren A Type Inference System for Prolog. [Citation Graph (3, 0)][DBLP ] ICLP/SLP, 1988, pp:604-619 [Conf ]
Weidong Chen , David Scott Warren C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP ] PODS, 1989, pp:369-378 [Conf ]
Konstantinos F. Sagonas , Terrance Swift , David Scott Warren XSB as an Efficient Deductive Database Engine. [Citation Graph (8, 17)][DBLP ] SIGMOD Conference, 1994, pp:442-453 [Conf ]
Weidong Chen , Michael Kifer , David Scott Warren HILOG: A Foundation for Higher-Order Logic Programming. [Citation Graph (8, 0)][DBLP ] J. Log. Program., 1993, v:15, n:3, pp:187-230 [Journal ]
Michael Kifer , James Wu A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). [Citation Graph (39, 29)][DBLP ] PODS, 1989, pp:379-393 [Conf ] Cites:
Hasan Davulcu , Juliana Freire , Michael Kifer , I. V. Ramakrishnan A Layered Architecture for Querying Dynamic Web Content. [Citation Graph (1, 24)][DBLP ] SIGMOD Conference, 1999, pp:491-502 [Conf ] Cites:
Michael Kifer , Georg Lausen F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. [Citation Graph (52, 26)][DBLP ] SIGMOD Conference, 1989, pp:134-146 [Conf ] Cites:
Weidong Chen , David Scott Warren C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP ] PODS, 1989, pp:369-378 [Conf ]
David Maier , David Scott Warren Incorporating Computed Relations in Relational Databases. [Citation Graph (5, 4)][DBLP ] SIGMOD Conference, 1981, pp:176-187 [Conf ]
Weidong Chen , Michael Kifer , David Scott Warren HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. [Citation Graph (21, 0)][DBLP ] NACLP, 1989, pp:1090-1114 [Conf ]
Michael Kifer A First-Order Formalism of Object-Oriented Languages. [Citation Graph (0, 9)][DBLP ] IEEE Data Eng. Bull., 1991, v:14, n:2, pp:13-17 [Journal ] Cites: