Lutz Straßburger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)