Folgen
Lutz Straßburger
Lutz Straßburger
Inria
Bestätigte E-Mail-Adresse bei lix.polytechnique.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1432001
Linear logic and noncommutativity in the calculus of structures
L Straßburger
1162003
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
732002
MELL in the calculus of structures
L Straßburger
Theoretical Computer Science 309 (1-3), 213-285, 2003
702003
Cut elimination in nested sequents for intuitionistic modal logics
L Straßburger
Foundations of Software Science and Computation Structures: 16th …, 2013
682013
Label-free modular systems for classical and intuitionistic modal logics
S Marin, L Straßburger
Advances in Modal Logic 10, 2014
642014
A non-commutative extension of MELL
A Guglielmi, L Straßburger
Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002
582002
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
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
46*2011
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
System NEL is undecidable
L Straßburger
Electronic Notes in Theoretical Computer Science 84, 166-177, 2003
432003
The focused calculus of structures
K Chaudhuri, N Guenot, L Straßburger
20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 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
Extension without cut
L Straßburger
Annals of Pure and Applied Logic 163 (12), 1995-2007, 2012
402012
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
392011
On nested sequents for constructive modal logics
A Das, R Arisaka, L Straßburger
arXiv preprint arXiv:1505.06896, 2015
37*2015
A characterization of medial as rewriting rule
L Straßburger
International Conference on Rewriting Techniques and Applications, 344-358, 2007
372007
What is a Logic, and What is a Proof?
L Straßurger
Logica Universalis, 135-152, 2007
372007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20