Follow
Lutz Straßburger
Lutz Straßburger
Inria
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Non-commutativity and MELL in the calculus of structures
A Guglielmi, L Straßburger
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001
1472001
Linear logic and noncommutativity in the calculus of structures
L Straßburger
1172003
Naming proofs in classical propositional logic
F Lamarche, L Straßburger
International Conference on Typed Lambda Calculi and Applications, 246-261, 2005
802005
A Local System for Linear Logic
L Straβburger
Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002
752002
Cut elimination in nested sequents for intuitionistic modal logics
L Straßburger
Foundations of Software Science and Computation Structures: 16th …, 2013
732013
MELL in the calculus of structures
L Straßburger
Theoretical Computer Science 309 (1-3), 213-285, 2003
702003
Label-free modular systems for classical and intuitionistic modal logics
S Marin, L Straßburger
Advances in Modal Logic 10, 2014
662014
A non-commutative extension of MELL
A Guglielmi, L Straßburger
Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002
582002
A system of interaction and structure IV: The exponentials and decomposition
L Straßburger, A Guglielmi
ACM Transactions on Computational Logic (TOCL) 12 (4), 23, 2011
49*2011
Breaking paths in atomic flows for classical logic
A Guglielmi, T Gundersen, L Straßburger
2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010
492010
System NEL is undecidable
L Straßburger
Electronic Notes in Theoretical Computer Science 84, 166-177, 2003
472003
The focused calculus of structures
K Chaudhuri, N Guenot, L Straßburger
20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011
452011
From Proof Nets to the Free *-Autonomous Category
F Lamarche, L Straßburger
Logical Methods in Computer Science (LMCS) 2 (4), 2006
442006
Constructing free Boolean categories
F Lamarche, L Straßburger
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 209-218, 2005
442005
Extension without cut
L Straßburger
Annals of Pure and Applied Logic 163 (12), 1995-2007, 2012
412012
A system of interaction and structure V: The exponentials and splitting
A Guglielmi, L Straßburger
Mathematical Structures in Computer Science 21 (3), 563-584, 2011
412011
On proof nets for multiplicative linear logic with units
L Straßburger, F Lamarche
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
412004
Expanding the realm of systematic proof theory
A Ciabattoni, L Straßburger, K Terui
International Workshop on Computer Science Logic, 163-178, 2009
402009
On nested sequents for constructive modal logics
A Das, R Arisaka, L Straßburger
arXiv preprint arXiv:1505.06896, 2015
39*2015
What is a Logic, and What is a Proof?
L Straßurger
Logica Universalis, 135-152, 2007
372007
The system can't perform the operation now. Try again later.
Articles 1–20