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
International Workshop on Computer Science Logic, 54-68, 2001
1202001
Linear logic and noncommutativity in the calculus of structures
L Straßburger
982003
Naming proofs in classical propositional logic
F Lamarche, L Straßburger
International Conference on Typed Lambda Calculi and Applications, 246-261, 2005
722005
A Local System for Linear Logic
L Straβburger
Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002
702002
MELL in the calculus of structures
L Straßburger
Theoretical Computer Science 309 (1-3), 213-285, 2003
692003
A non-commutative extension of MELL
A Guglielmi, L Straßburger
Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002
542002
Constructing free Boolean categories
F Lamarche, L Straßburger
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 209-218, 2005
462005
Label-free modular systems for classical and intuitionistic modal logics
S Marin, L Straßburger
442014
Cut elimination in nested sequents for intuitionistic modal logics
L Straßburger
International conference on foundations of software science and …, 2013
442013
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
442010
From Proof Nets to the Free *-Autonomous Category
F Lamarche, L Straßburger
Logical Methods in Computer Science (LMCS) 2 (4), 2006
442006
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
41*2011
On proof nets for multiplicative linear logic with units
L Straßburger, F Lamarche
International Workshop on Computer Science Logic, 145-159, 2004
402004
The focused calculus of structures
K Chaudhuri, N Guenot, L Straßburger
362011
System NEL is undecidable
L Straßburger
Electronic Notes in Theoretical Computer Science 84, 166-177, 2003
352003
A system of interaction and structure V: The exponentials and splitting
A Guglielmi, L Straßburger
332011
A characterization of medial as rewriting rule
L Straßburger
International Conference on Rewriting Techniques and Applications, 344-358, 2007
322007
What is a Logic, and What is a Proof?
L Straßurger
Logica Universalis, 135-152, 2007
322007
Expanding the realm of systematic proof theory
A Ciabattoni, L Straßburger, K Terui
International Workshop on Computer Science Logic, 163-178, 2009
282009
On the axiomatisation of Boolean categories with and without medial
L Straßburger
arXiv preprint cs/0512086, 2005
262005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20