 | 2009 |
|---|
| 18 |       | Agata Ciabattoni,
Lutz Straßburger,
Kazushige Terui:
Expanding the Realm of Systematic Proof Theory.
CSL 2009: 163-178 |
| 17 | | Lutz Straßburger:
A Kleene Theorem for Forest Languages.
LATA 2009: 715-727 |
| 16 | | Kai Brünnler,
Lutz Straßburger:
Modular Sequent Systems for Modal Logic.
TABLEAUX 2009: 152-166 |
| 15 | | Lutz Straßburger:
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic.
TLCA 2009: 309-324 |
| 14 | | Lutz Straßburger,
Alessio Guglielmi:
A System of Interaction and Structure IV: The Exponentials and Decomposition
CoRR abs/0903.5259: (2009) |
| 2007 |
|---|
| 13 | | Lutz Straßburger:
A Characterization of Medial as Rewriting Rule.
RTA 2007: 344-358 |
| 2006 |
|---|
| 12 | | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category
CoRR abs/cs/0605054: (2006) |
| 11 | | Lutz Straßburger:
Proof Nets and the Identity of Proofs
CoRR abs/cs/0610123: (2006) |
| 10 | | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category.
Logical Methods in Computer Science 2(4): (2006) |
| 2005 |
|---|
| 9 | | François Lamarche,
Lutz Straßburger:
Constructing Free Boolean Categories.
LICS 2005: 209-218 |
| 8 | | François Lamarche,
Lutz Straßburger:
Naming Proofs in Classical Propositional Logic.
TLCA 2005: 246-261 |
| 7 | | Lutz Straßburger:
On the Axiomatisation of Boolean Categories with and without Medial
CoRR abs/cs/0512086: (2005) |
| 2004 |
|---|
| 6 | | Lutz Straßburger,
François Lamarche:
On Proof Nets for Multiplicative Linear Logic with Units.
CSL 2004: 145-159 |
| 2003 |
|---|
| 5 | | Lutz Straßburger:
System NEL is Undecidable.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 4 | | Lutz Straßburger:
MELL in the calculus of structures.
Theor. Comput. Sci. 309(1-3): 213-285 (2003) |
| 2002 |
|---|
| 3 | | Alessio Guglielmi,
Lutz Straßburger:
A Non-commutative Extension of MELL.
LPAR 2002: 231-246 |
| 2 | | Lutz Straßburger:
A Local System for Linear Logic.
LPAR 2002: 388-402 |
| 2001 |
|---|
| 1 | | Alessio Guglielmi,
Lutz Straßburger:
Non-commutativity and MELL in the Calculus of Structures.
CSL 2001: 54-68 |
