Searching for "Logic Programming with Focusing Proofs in Linear Logic." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Logic Programming with Focusing Proofs in Linear Logic
- … to focusing proofs. Then, a programming language, called LinLog, consisting of a fragment of Linear Logic…
- Cited by 220 (7 self) – Add To MetaCart
-
A Survey of Linear Logic Programming
- … of linear logic programming are described using sequent calculus proof systems, a great deal of work…
- Cited by 4 (0 self) – Add To MetaCart
-
Chapter 4 Proof Search
- … programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):197-347, 1992. [Bar96…
- Add To MetaCart
-
Chapter 5 The Inverse Method
- … programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):197–347, 1992. [Byr99…
- Add To MetaCart
-
Chapter 5 Linear Logic Programming
- … with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):197–347, 1992. [AP91] J…
- Add To MetaCart
-
Verification of Infinite-state Systems
- …] J.M. Andreoli. Logic Programming with focusing proofs in linear logic. Journal of Logic…
- Add To MetaCart
-
For the Completness Direction We Need to Generalize the Induction Hypothesis Somewhat Dierently.
- … [check for lemmas and write out some cases] Draft of November 1, 2001 100 Linear Logic Programming p 0…
- Add To MetaCart
-
Chapter 6 Linear -Calculus
- …-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2…
- Add To MetaCart
-
Chapter 7 Linear Type Theory
- … with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):197-347, 1992. [AP91] J…
- Add To MetaCart
-
Termination
- … proof term assignment for affine logic. 4. We can map affine logic to linear logic by translating every…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
