John S. Conery. Logical Objects. In Proceedings of the Fifth International Conference and Simposium on Logic Programming, August 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (132 citations) (Correct)
LO and Behold! Concurrent Structured Processes - Andreoli, Pareschi (1990) (3 citations) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (217 citations) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (217 citations) (Correct)
A Logic Based Language for Parametric Inheritance - Jamil (2000) (Correct)
Extended Horn Clauses: the Framework and some Semantics - Jacquet, Monteiro (1991) (Correct)
Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (4 citations) (Correct)
Updating Metalogic Programs by Rebinding Names - Christopher Higgins (Correct)
YahOO: an Object-Oriented Logic Programming Language.. - Delzanno, Martelli (Correct)
Objects in Forum - Delzanno, Martelli (1995) (18 citations) (Correct)
A Logic for Encapsulation in Object Oriented Languages - Bugliesi, Jamil (1994) (5 citations) (Correct)
Combining Object-Oriented and Logic Paradigms: A Modal Logic.. - Uustalu (1992) (6 citations) (Correct)
Targeted Communication in Linear Objects - Alexiev (1994) (Correct)
Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (54 citations) (Correct)
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (35 citations) (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)
Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (9 citations) (Correct)
The O'Ciao Approach to Object Oriented Logic Programming - Pineda, Bueno (2002) (5 citations) (Correct)
O'CIAO - An Object Oriented Programming model using CIAO Prolog - Pineda, Hermenegildo (1999) (1 citation) (Correct)
A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
Intelligent Backtracking in the Echidna Constraint Logic.. - Havens (1992) (5 citations) (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