Lutz Straßburger

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

Coauthor Index

1	Alessio Guglielmi	[1] [3] [14]
2	François Lamarche	[6] [8] [9] [10] [12]

Colors in the list of coauthors