Seuraa
Lutz Straßburger
Lutz Straßburger
Inria
Vahvistettu sähköpostiosoite verkkotunnuksessa lix.polytechnique.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1492001
Linear logic and noncommutativity in the calculus of structures
L Straßburger
1202003
Naming proofs in classical propositional logic
F Lamarche, L Straßburger
International Conference on Typed Lambda Calculi and Applications, 246-261, 2005
812005
Cut elimination in nested sequents for intuitionistic modal logics
L Straßburger
Foundations of Software Science and Computation Structures: 16th …, 2013
762013
A Local System for Linear Logic
L Straβburger
Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002
762002
MELL in the calculus of structures
L Straßburger
Theoretical Computer Science 309 (1-3), 213-285, 2003
732003
Label-free modular systems for classical and intuitionistic modal logics
S Marin, L Straßburger
Advances in Modal Logic 10, 2014
672014
A non-commutative extension of MELL
A Guglielmi, L Straßburger
Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002
592002
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
512010
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
50*2011
The focused calculus of structures
K Chaudhuri, N Guenot, L Straßburger
20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011
462011
System NEL is undecidable
L Straßburger
Electronic Notes in Theoretical Computer Science 84, 166-177, 2003
462003
From Proof Nets to the Free *-Autonomous Category
F Lamarche, L Straßburger
Logical Methods in Computer Science (LMCS) 2 (4), 2006
452006
Constructing free Boolean categories
F Lamarche, L Straßburger
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 209-218, 2005
442005
On nested sequents for constructive modal logics
A Das, R Arisaka, L Straßburger
arXiv preprint arXiv:1505.06896, 2015
41*2015
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
A characterization of medial as rewriting rule
L Straßburger
International Conference on Rewriting Techniques and Applications, 344-358, 2007
372007
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20