Dominic J. D. Hughes and Rob J. van Glabbeek. Proof nets for unitfree multiplicative-additive linear logic (extended abstract). In LICS, pages 1--10, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) (Correct)
No context found.
Dominic J. D. Hughes and Rob J. van Glabbeek. Proof nets for unitfree multiplicative-additive linear logic (extended abstract). In LICS, pages 1--10, 2003.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) (Correct)
No context found.
D. Hughes and R. van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18'th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicativeadditive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) (Correct)
No context found.
D. Hughes and R. van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003), pages 1--10, 2003.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicativeadditive linear logic. In LICS 2003, pages 1--10. 2003.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) (Correct)
No context found.
D. Hughes and R. van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003.
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18'th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003.
Constructing free Boolean categories - Lamarche, al. (2005) (1 citation) (Correct)
No context found.
D. Hughes and R. van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicativeadditive linear logic. In LICS 2003, pages 1--10. 2003.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2004) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Dominic Hughes and Rob van Glabbeek. Proof nets for unit-free multiplicativeadditive linear logic. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003.
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