Razvan Diaconescu. The logic of Horn clauses is equational. Technical Report PRG-TR-3-93, Programming Research Group, University of Oxford, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Lazy Approach to Partial Algebras - Cerioli (1995) (1 citation) (Correct)
Towards an Algebraic Semantics for the Object Paradigm - Goguen, Diaconescu (1994) (43 citations) Self-citation (Azvan) (Correct)
Category-based Modularisation for Equational Logic Programming - Diaconescu (1996) (1 citation) Self-citation (Diaconescu) (Correct)
Category-based Constraint Logic - Diaconescu (1999) Self-citation (Diaconescu) (Correct)
A Category-based Equational Logic Semantics to.. - Razvan Diaconescu.. (1996) (8 citations) Self-citation (Diaconescu) (Correct)
Category-based Semantic Paramodulation - Diaconescu Self-citation (Diaconescu) (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