Jean-Marc Andreoli, Logic programming with focusing proofs in linear logic, Journal of Logic and Computation 2 (1992), no. 3, 297--347. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Structural Cut Elimination in Linear Logic Frank Pfenning.. - Cmu-Cs- School Of (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) (Correct)
Structural Cut Elimination in Linear Logic - Pfenning (1994) (7 citations) (Correct)
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) (Correct)
A Logical Characterization of Forward and Backward.. - Chaudhuri, Pfenning.. (2006) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) (Correct)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (1 citation) (Correct)
On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Unknown - Linear Logic Programming (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