A Proof-Theoretic Analysis of Goal-Directed Provability (1992)

Cached

Download Links

by James Harland
Venue:Journal of Logic and Computation
Citations:14 - 7 self

Active Bibliography

5 Success and Failure for Hereditary Harrop Formulae – James Harland - 1993
5 On Goal-Directed Provability in Classical Logic – James Harland, Royal Melbourne - 1994
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
64 Lexical scoping as universal quantification – Dale Miller - 1989
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
8 On Normal Forms and Equivalence for Logic Programs – James Harland - 1992
5 Herbrand Methods in Sequent Calculi: Unification in LL – Serenella Cerrito - 1992
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994
1 Structural Properties of Logic Programs – James Harland, Key Centre, Knowledge Based Systems
4 A Survey of Linear Logic Programming – Dale Miller - 1995
4 A Deductive Database Language Supporting Modules – Burkhard Freitag - 1992
Modularity in Logic Programming – Edelmira Pasarella
Some contributions to the semantics of normal logic programs – Edelmira Pasarella Sánchez - 2008
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
19 Higher Order Logic – Daniel Leivant - 1994
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
2 A strong logic programming view for static embedded implication – R. Arruabarrena, P. Lucio, M. Navarro - 1999
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller