D. Miller: "A logical analysis of modules in logic programming", in Journal of Logic Programming, Vol. 6, 1989, pp 79-108. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Disjunction and Modular Goal-directed Proof Search - Stone (Correct)
Inheritance and Conflict Resolution - Jamil, Lakshmanan (2001) (Correct)
A Definite Clause Version of Categorial Grammar - Pareschi (1988) (6 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
A New Framework for Declarative Programming - Finkelstein, Freyd, Lipton (2001) (1 citation) (Correct)
Indefinite Information in Modal Logic Programming - Stone (1999) (Correct)
Uniform Algebras: A Complete semantics for Higher Order Logic .. - DeMarco, Lipton (Correct)
Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
Proof Manipulations for Logic Programming Proof Systems - Lutovac, Harland (2001) (Correct)
Specifying and Debugging Security Protocols in the hhf Fragment.. - Delzanno (2000) (Correct)
Differential Logic Programs: Semantics and.. - Bossi, Bugliesi.. (Correct)
The Logic of Bunched Implications - O'Hearn, Pym (1999) (15 citations) (Correct)
A Declarative Alternative to "Assert" in Logic Programming - Dietzen, Pfenning (1991) (4 citations) (Correct)
Uniform Algebras: A Complete semantics for the HOHH logic of.. - DeMarco, Lipton (2001) (Correct)
Dynamic Composition of Parameterised Logic Modules - Brogi, Renso, Turini (Correct)
Modularity in Logic Programming - Pasarella (Correct)
A Framework for Modal Logic Programming - Baldoni, Giordano, Martelli (1996) (8 citations) (Correct)
Translating a Modal Language with Embedded Implication.. - Baldoni, Giordano.. (1995) (2 citations) (Correct)
A Modal Extension of Logic Programming - Baldoni, Giordano, Martelli (1994) (1 citation) (Correct)
Extensions to Logic Programming Motivated by the Construction of.. - Gunter (1991) (1 citation) (Correct)
Specifying and Debugging Security Protocols in the hhf Fragment.. - Delzanno (2000) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1992) (2 citations) (Correct)
Towards the Automation of the Design of Logic Programming.. - Lutovac, Harland (1997) (Correct)
A Clausal Form for the Completion of Logic Programs - James Harland Department (1991) (2 citations) (Correct)
On Normal Forms and Equivalence for Logic Programs - Harland (1992) (Correct)
Logic Programming in a Fragment of Intuitionistic Linear.. - Hodas, Miller (1991) (224 citations) (Correct)
A Proof-Theoretic Analysis of Goal-Directed Provability - Harland (1994) (10 citations) (Correct)
Modular Logic Programming - Brogi, Mancarella, Pedreschi, Turini (1994) (13 citations) (Correct)
On Resolution in Fragments of Classical Linear Logic (Extended .. - Harland, Pym (Correct)
A Uniform Proof-Theoretic Investigation Of Linear Logic.. - Harland, Pym (1994) (46 citations) (Correct)
Success and Failure for Hereditary Harrop Formulae - Harland (1993) (1 citation) (Correct)
Modal Event Calculus in Lolli - Iliano Cervesato Luca (Correct)
A Declarative Alternative to - Assert In Logic (Correct)
On Uniform Proof-Theoretical Operational Semantics.. - Ekaterina.. (Correct)
Objective: in Minimum Context - Salvador Abreu And (Correct)
A New Module System for Prolog - Cabeza, Hermenegildo (2000) (11 citations) (Correct)
A New Module System for Prolog - Daniel Cabeza And (1999) (11 citations) (Correct)
Constructive Specifications for Compositional Units - Kung-Kiu Lau Alberto (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
A Modal Extension of Logic Programming: Modularity.. - Baldoni, Giordano.. (1998) (4 citations) (Correct)
On The Propositional Sldnf-Resolution - Plaza (Correct)
Forward and Backward Chaining in Linear Logic - Harland, Pym, Winikoff (3 citations) (Correct)
A Proof-Theoretic Analysis of Goal-Directed Provability - Harland (1992) (10 citations) (Correct)
Higher-Order Horn Clauses - Gopalan Nadathur Duke (1990) (35 citations) Self-citation (Miller) (Correct)
Higher-Order Quantification and Proof Search - Miller (2002) (2 citations) Self-citation (Miller) (Correct)
Lexical Scoping As Universal Quantification - Miller (1989) (42 citations) Self-citation (Miller) (Correct)
Higher-Order Logic as the Basis for Logic Programming - Nadathur (1989) (25 citations) Self-citation (Miller) (Correct)
First 50 documents Next 50
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