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

View PDF

Download Links

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

Documents Related by Co-Citation

344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
70 A Uniform Proof-Theoretic Investigation Of Linear Logic Programming – J.A. Harland, D. J. Pym - 1994
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
41 Programming in Lygon: An Overview – James Harland, David Pym, Michael Winikoff - 1996
762 Introduction to Metamathematics – S C Kleene
978 Negation as Failure – K Clark - 1978
735 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976