Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Lutz Straßburger
2010 – today
- 2013
[c16]Lutz Straßburger: Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. FoSSaCS 2013: 209-224- 2012
- [j7]
- [c15]Stefan Hetzl, Lutz Straßburger: Herbrand-Confluence for Cut Elimination in Classical First Order Logic. CSL 2012: 320-334
- 2011
- [j6]Lutz Straßburger: From Deep Inference to Proof Nets via Cut Elimination. J. Log. Comput. 21(4): 589-624 (2011)
- [j5]Alessio Guglielmi, Lutz Straßburger: A system of interaction and structure V: the exponentials and splitting. Mathematical Structures in Computer Science 21(3): 563-584 (2011)
- [j4]Lutz Straßburger, Alessio Guglielmi: A system of interaction and structure IV: The exponentials and decomposition. ACM Trans. Comput. Log. 12(4): 23 (2011)
- [c14]Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger: The Focused Calculus of Structures. CSL 2011: 159-173
- 2010
- [c13]
- [c12]Alessio Guglielmi, Tom Gundersen, Lutz Straßburger: Breaking Paths in Atomic Flows for Classical Logic. LICS 2010: 284-293
2000 – 2009
- 2009
- [c11]Agata Ciabattoni, Lutz Straßburger, Kazushige Terui: Expanding the Realm of Systematic Proof Theory. CSL 2009: 163-178
- [c10]
- [c9]
- [c8]Lutz Straßburger: Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. TLCA 2009: 309-324
- [i4]Lutz Straßburger, Alessio Guglielmi: A System of Interaction and Structure IV: The Exponentials and Decomposition. CoRR abs/0903.5259 (2009)
- 2007
- [c7]
- 2006
- [j3]François Lamarche, Lutz Straßburger: From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science 2(4) (2006)
- [i3]François Lamarche, Lutz Straßburger: From Proof Nets to the Free *-Autonomous Category. CoRR abs/cs/0605054 (2006)
- [i2]
- 2005
- [c6]
- [c5]François Lamarche, Lutz Straßburger: Naming Proofs in Classical Propositional Logic. TLCA 2005: 246-261
- [i1]Lutz Straßburger: On the Axiomatisation of Boolean Categories with and without Medial. CoRR abs/cs/0512086 (2005)
- 2004
- [c4]Lutz Straßburger, François Lamarche: On Proof Nets for Multiplicative Linear Logic with Units. CSL 2004: 145-159
- 2003
- [b1]Lutz Straßburger: Linear logic and noncommutativity in the calculus of structures. Dresden University of Technology 2003, pp. 1-268
- [j2]
- [j1]
- 2002
- [c3]
- [c2]
- 2001
- [c1]Alessio Guglielmi, Lutz Straßburger: Non-commutativity and MELL in the Calculus of Structures. CSL 2001: 54-68
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:13 CET by the dblp team