ICLP Workshop: Proof-Theoretical Extensions on Logic Programming

Keyphrases

Publications

1994

Per Kreuger
A-Sufficient Substitutions in mixed Contents. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Lars Hallnäs, Per Kreuger
Partial Inductive Definitions (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Peter J. Robinson, John Staples, Anthony S. K. Cheng
Theorem Proving Applications for QU-Prolog. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Didier Galmiche
Canonical Proofs for Linear Logic Programming Frameworks. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Henning Christiansen
On Proof Predicates in Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
Integrating Reflection into SLD-Resolution. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994 ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
I. Stephan
An SLOU Prolog Interpreter. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Göran Falkman, Lars Hallnäs, Olof Torgersson
Program Separation in GCLA. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Francesca Arcelli, Ferrante Formato
Higher-Order Implementation of Program Transformations using Algebraic Specification. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Roy Dyckhoff, Natarajan Shankar
Proof Search (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Natarajan Shankar
Using Proof Theory to Optimize Proof Search. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
R. S. Kemp, Graem A. Ringwood
Reynold and Heyling Models of Logic Programs. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Roy Dyckhoff, Luís Pinto
Uniform Proofs and Natural Deduction. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Iliano Cervesato
Lollipops Taste of Vanilla too. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)