Weidoing Chen and David Scott Warren. Objects as intensions. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, August 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Towards Deductive Object Databases - Bertino, Guerrini (1994) (1 citation) (Correct)
Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi (Correct)
A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
Updating Metalogic Programs by Rebinding Names - Christopher Higgins (Correct)
Combining Object-Oriented and Logic Paradigms: A Modal Logic.. - Uustalu (1992) (6 citations) (Correct)
Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (54 citations) (Correct)
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
Software Development Environment Based on.. - Khaled Fouad Sayed.. (1995) (Correct)
Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (16 citations) (Correct)
METAL: An Object Oriented Metalogic Language - Christopher Higgins (1994) (Correct)
O'CIAO - An Object Oriented Programming model using CIAO Prolog - Pineda, Hermenegildo (1999) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC