D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
Typed Static Analysis: Application to the Groundness Analysis.. - Ridoux, al. (2001) (7 citations) (Correct)
Semantic Interpretation as Higher-Order Deduction - Pereira (1991) (11 citations) (Correct)
Untyped Constrained Lambda Calculus - Crossley, Mandel, Wirsing (1993) (Correct)
A Clausal Form for the Completion of Logic Programs - James Harland Department (1991) (2 citations) (Correct)
Logic Programming with Monads and Comprehensions - Bekkers, Tarau (Correct)
Logic Grammars and λProlog - Le Huitouze, Louvet, Ridoux (1993) (Correct)
A Kripke-like Model for Negation as Failure - Harland (1989) (5 citations) (Correct)
Structural Properties of Logic Programs - Harland (Correct)
Prolog/Mali Reference Manual - Le Huitouze, Ridoux, Brisset (Correct)
Metavariables and Tactic Proofs - Howe (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1994) (2 citations) (Correct)
Concurrency in the lambda-calculus: Higher-order Concurrent.. - Saraswat (1991) (Correct)
On The Use Of Advanced Logic Programming Languages In.. - Coupet-Grimal, Ridoux (1994) (Correct)
Intensional Set Constraints - Richard, Saubion, Tellez (1997) (Correct)
Elf: A Language for Logic Definition and Verified Metaprogramming - Pfenning (1989) (62 citations) (Correct)
The Compilation of Prolog and its Execution with MALI - Brisset, Ridoux (1993) (3 citations) (Correct)
A Structured Presentation of a Closure-Based Compilation Method.. - Kwon (1997) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1995) (2 citations) (Correct)
CHR and Harrop formulas: entailment, universal constraints.. - Padioleau, Ridoux (2000) (Correct)
Logic Programming in the LF Logical Framework - Pfenning (1991) (138 citations) (Correct)
UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller - Computer And (1989) Self-citation (Miller Nadathur Scedrov) (Correct)
A Proof Procedure for the Logic of Hereditary Harrop Formulas - Nadathur (1993) (10 citations) Self-citation (Nadathur) (Correct)
First 50 documents
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