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