Lutz Straßburger

Identifiants chercheurs

IdHAL :

lutz-strassburger

ORCID :

0000-0003-4661-6540

Publications

Communication dans un congrès (36)

Intuitionistic BV Matteo Acclavio,Lutz Straßburger TABLEAUX 2025 - 34th International Conference Automated Reasoning with Analytic Tableaux and Related Methods., Sep 2025, Reykjavik, Iceland. pp.414-432, ⟨10.1007/978-3-032-06085-3_22⟩ Communication dans un congrès hal-05356081v1
Proof Compression via Subatomic Logic and Guarded Substitutions Victoria Barrett,Alessio Guglielmi,Benjamin Ralph,Lutz Straßburger LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2025, Singapore, Singapore. pp.183-195, ⟨10.1109/LICS65433.2025.00021⟩ Communication dans un congrès hal-05356083v1
Lambek Calculus with Banged Atoms for Parasitic Gaps Mehrnoosh Sadrzadeh,Lutz Straßburger Logic, Language, Information, and Computation. WoLLIC 2024, Jun 2024, Bern, Switzerland. pp.193-209, ⟨10.1007/978-3-031-62687-6_13⟩ Communication dans un congrès hal-04569184v1
A Simple Loopcheck for Intuitionistic K Marianna Girlando,Roman Kuznets,Sonia Marin,Marianela Morales,Lutz Straßburger Logic, Language, Information, and Computation. WoLLIC 2024, Jun 2024, Bern, Switzerland, Switzerland. pp.47-63, ⟨10.1007/978-3-031-62687-6_4⟩ Communication dans un congrès hal-04569308v1
Intuitionistic S4 is decidable Marianna Girlando,Roman Kuznets,Sonia Marin,Marianela Morales,Lutz Strassburger LICS 2023- 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175684⟩ Communication dans un congrès hal-04267899v1
BV and Pomset Logic Are Not the Same Lê Thành Dung Nguyên,Lutz Straßburger CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩ Communication dans un congrès hal-03909463v1
Normalization Without Syntax Willem Heijltjes,Dominic Hughes,Lutz Strassburger FSCD 2022, Aug 2022, Haifa, Israel Communication dans un congrès hal-03654060v1
A Graphical Proof Theory of Logical Time Matteo Acclavio,Ross Horne,Sjouke Mauw,Lutz Straßburger FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.22⟩ Communication dans un congrès hal-03909486v1
Combinatorial Flows as Bicolored Atomic Flows Giti Omidvar,Lutz Straßburger WoLLIC 2022 - 28th Workshop on Logic, Language, Information and Computation, Sep 2022, Iaşi, Romania. pp.141-157, ⟨10.1007/978-3-031-15298-6_9⟩ Communication dans un congrès hal-03909530v1
Taming Bounded Depth with Nested Sequents Agata Ciabattoni,Lutz Straßburger,Matteo Tesi AIML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France Communication dans un congrès hal-03909534v1
Combinatorial Proofs for Constructive Modal Logic Matteo Acclavio,Lutz Straßburger AiML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France Communication dans un congrès hal-03909538v1
Game Semantics for Constructive Modal Logic Matteo Acclavio,Davide Catta,Lutz Strassburger TABLEAUX 2021 - 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2021, Birmingham, United Kingdom. pp.428-445, ⟨10.1007/978-3-030-86059-2_25⟩ Communication dans un congrès hal-03369819v1
Demo Paper: Coqlex, an approach to generate verified lexers Wendlasida Ouedraogo,Danko Ilik,Lutz Strassburger ML Family Workshop 2021, Aug 2021, Online event, United States Communication dans un congrès hal-03470713v1
Combinatorial Proofs and Decomposition Theorems for First-order Logic Dominic J D Hughes,Lutz Strassburger,Jui-Hsuan Wu 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470579⟩ Communication dans un congrès hal-03369764v1
Logic beyond formulas: a proof system on graphs Matteo Acclavio,Ross Horne,Lutz Strassburger LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩ Communication dans un congrès hal-02560105v1
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) Marianna Girlando,Lutz Strassburger IJCAR 2020 - 10th International Joint Conference, Jul 2020, Paris, France. pp.398-407, ⟨10.1007/978-3-030-51054-1_25⟩ Communication dans un congrès hal-02457240v3
Towards a Combinatorial Proof Theory Benjamin Ralph,Lutz Strassburger TABLEAUX 2019 - 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.259-276, ⟨10.1007/978-3-030-29026-9_15⟩ Communication dans un congrès hal-02390417v1
Intuitionistic proofs without syntax Willem Heijltjes,Dominic J D Hughes,Lutz Strassburger LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785827⟩ Communication dans un congrès hal-02386878v1
On Combinatorial Proofs for Modal Logic Matteo Acclavio,Lutz Strassburger TABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240, ⟨10.1007/978-3-030-29026-9_13⟩ Communication dans un congrès hal-02390400v1
On Combinatorial Proofs for Logics of Relevance and Entailment Matteo Acclavio,Lutz Strassburger WoLLIC 2019 - 26th International Workshop on Logic, Language, Information, and Computation, Jul 2019, Utrecht, Netherlands. pp.1-16, ⟨10.1007/978-3-662-59533-6_1⟩ Communication dans un congrès hal-02390426v1
Proof Nets for First-Order Additive Linear Logic Willem Heijltjes,Dominic J D Hughes,Lutz Strassburger FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.22:1-22:22, ⟨10.4230/LIPIcs.FSCD.2019.22⟩ Communication dans un congrès hal-02386942v1
Combinatorial Flows and their Normalisation Lutz Strassburger FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, Sep 2017, Oxford, United Kingdom. pp.311 - 3117, ⟨10.4230/LIPIcs.FSCD.2017.31⟩ Communication dans un congrès hal-01635931v1
On the Length of Medial-Switch-Mix Derivations Paola Bruscoli,Lutz Strassburger WoLLIC 2017 - Logic, Language, Information, and Computation, Jul 2017, London, United Kingdom Communication dans un congrès hal-01635933v1
Proof theory for indexed nested sequents Sonia Marin,Lutz Strassburger TABLEAUX 2017 - Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2017, Brasilia, Brazil. pp.81-97 Communication dans un congrès hal-01635935v1
Non-crossing Tree Realizations of Ordered Degree Sequences Laurent Mehats,Lutz Strassburger LACL 2016 - 9th International Conference Logical Aspects of Computational Linguistics - Celebrating 20 Years of LACL (1996–2016), Dec 2016, Nancy, France. ⟨10.1007/978-3-662-53826-5_13⟩ Communication dans un congrès hal-01417567v1
Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner,Daniel Seidel,Lutz Strassburger,Janis Voigtländer Principles and Practice of Declarative Programming, PPDP 2014, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643147⟩ Communication dans un congrès hal-01092357v1
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics Lutz Strassburger FoSSaCS 2013, Mar 2013, Rome, Italy. pp.209-224, ⟨10.1007/978-3-642-37075-5_14⟩ Communication dans un congrès hal-00770678v1
Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl,Lutz Strassburger CSL 2012, Sep 2012, Fontainebleau, France. ⟨10.4230/LIPIcs.CSL.2012.320⟩ Communication dans un congrès hal-00759228v1
The Focused Calculus of Structures Kaustuv Chaudhuri,Nicolas Guenot,Lutz Strassburger 20th EACSL Annual Conference on Computer Science Logic, Sep 2011, Bergen, Norway. pp.159-173, ⟨10.4230/LIPIcs.CSL.2011.159⟩ Communication dans un congrès hal-00772420v1
Breaking Paths in Atomic Flows for Classical Logic Alessio Guglielmi,Tom Gundersen,Lutz Strassburger Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.284-293, ⟨10.1109/LICS.2010.12⟩ Communication dans un congrès hal-00541076v1
What is the Problem with Proof Nets for Classical Logic ? Lutz Strassburger Computability in Europe 2010, Jun 2010, Ponta Delgada, Portugal Communication dans un congrès hal-00772608v1
Deep Inference for Hybrid Logic Lutz Strassburger International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland Communication dans un congrès inria-00165998v1
A Characterisation of Medial as Rewriting Rule Lutz Strassburger RTA 2007, Jun 2007, Paris, France Communication dans un congrès inria-00165997v1
What could a Boolean category be? Lutz Strassburger Classical Logic and Computation 2006 (ICALP Workshop), Jul 2006, Venice, Italy Communication dans un congrès inria-00130504v1
From Deep Inference to Proof Nets Lutz Strassburger Structures and Deduction 2005 (ICALP Workshop), Jul 2005, Lisbon, Portugal Communication dans un congrès inria-00130501v1
Constructing free Boolean categories François Lamarche,Lutz Strassburger 20th Annual IEEE Symposium on Logic in Computer Science - LICS 2005, May 2005, Chicago/USA, United States. pp.209- 218, ⟨10.1109/LICS.2005.13⟩ Communication dans un congrès hal-00012296v2

Article dans une revue (12)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic Lê Thành Dũng Nguyên,Lutz Straßburger Logical Methods in Computer Science, 2023, 9 (4), ⟨10.46298/LMCS-19(4:25)2023⟩ Article dans une revue hal-03909547v2
Coqlex: Generating Formally Verified Lexers Wendlasida Ouedraogo,Lutz Strassburger,Gabriel Scherer The Art, Science, and Engineering of Programming, 2023, 8 (1), ⟨10.22152/programming-journal.org/2024/8/3⟩ Article dans une revue hal-03912170v2
An Analytic Propositional Proof System On Graphs Matteo Acclavio,Ross Horne,Lutz Strassburger Logical Methods in Computer Science, 2022, 18 (4), ⟨10.46298/LMCS-18(4:1)2022⟩ Article dans une revue hal-03087392v2
A fully labelled proof system for intuitionistic modal logics Sonia Marin,Marianela Morales,Lutz Strassburger Journal of Logic and Computation, 2021, 31 (3), pp.998-1022. ⟨10.1093/logcom/exab020⟩ Article dans une revue hal-02390454v3
On the decision problem for MELL Lutz Strassburger Theoretical Computer Science, 2019, 768, pp.91-98. ⟨10.1016/j.tcs.2019.02.022⟩ Article dans une revue hal-02386746v1
Deep inference and expansion trees for second-order multiplicative linear logic Lutz Strassburger Mathematical Structures in Computer Science, 2019, Special Issue 8 (A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday), 29, pp.1030-1060. ⟨10.1017/S0960129518000385⟩ Article dans une revue hal-01942410v1
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem Lutz Strassburger Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019, 377 (2140), pp.20180038. ⟨10.1098/rsta.2018.0038⟩ Article dans une revue hal-02475417v1
Maehara-style modal nested calculi Roman Kuznets,Lutz Strassburger Archive for Mathematical Logic, 2019, 58 (3-4), pp.359-385. ⟨10.1007/s00153-018-0636-1⟩ Article dans une revue hal-01942240v1
On the Power of Substitution in the Calculus of Structures Lutz Strassburger,Novak Novakovic ACM Transactions on Computational Logic, 2015, 16 (3), ⟨10.1145/2701424⟩ Article dans une revue hal-00925707v1
Herbrand-Confluence Stefan Hetzl,Lutz Strassburger Logical Methods in Computer Science, 2013, 9 (4), pp.1-25. ⟨10.2168/LMCS-9(4:24)2013⟩ Article dans une revue hal-00925641v1
Extension without Cut Lutz Strassburger Annals of Pure and Applied Logic, 2012, 163 (12), pp.1995-2007. ⟨10.1016/j.apal.2012.07.004⟩ Article dans une revue hal-00759215v1
From Deep Inference to Proof Nets via Cut Elimination Lutz Strassburger Journal of Logic and Computation, 2011, 21 (4), pp.589-624. ⟨10.1093/logcom/exp047⟩ Article dans une revue hal-00772603v1

Cours (2)

From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem Willem Heijltjes,Lutz Strassburger École thématique. From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem, Utrecht / Virtual, Netherlands. 2021 Cours hal-03316571v1
Introduction to Deep Inference Andrea Aler Tubella,Lutz Strassburger École thématique. Introduction to Deep Inference, Riga, Latvia. 2019 Cours hal-02390267v1

Pré-publication, Document de travail (1)

Splitting and Focusing for Full Propositional Linear Logic in the Calculus of Structures Kaustuv Chaudhuri,Nicolas Guenot,Mikheil Rukhaia,Lutz Strassburger 2017 Pré-publication, Document de travail hal-05493721v1

Rapport (5)

Proof nets for first-order additive linear logic Willem Heijltjes,Dominic J D Hughes,Lutz Strassburger [Research Report] RR-9201, Inria. 2018 Rapport (rapport de recherche) hal-01867625v1
On the Decision Problem for MELL Lutz Strassburger [Research Report] 9203, Inria Saclay Ile de France. 2018 Rapport (rapport de recherche) hal-01870148v1
Maehara-style Modal Nested Calculi Lutz Strassburger,Roman Kuznets [Research Report] RR-9123, Inria Saclay. 2017 Rapport (rapport de recherche) hal-01644750v1
Non-crossing tree realizations of ordered degree sequences Laurent Mehats,Lutz Strassburger [Research Report] 2009, pp.15 Rapport (rapport de recherche) hal-00649591v1
Proof Nets and the Identity of Proofs Lutz Strassburger [Research Report] RR-6013, INRIA. 2006 Rapport (rapport de recherche) inria-00107260v3

Chapitre d'ouvrage (2)

From Syntactic Proofs to Combinatorial Proofs Matteo Acclavio,Lutz Strassburger International Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9 Chapitre d'ouvrage hal-01942275v1
What is a logic, and what is a proof ? Lutz Strassburger Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0 Chapitre d'ouvrage inria-00130523v1

Document associé à des manifestations scientifiques (1)

Justification logic for constructive modal logic * Roman Kuznets,Sonia Marin,Lutz Strassburger IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. , 2017 Document associé à des manifestations scientifiques hal-01614707v1

HDR (1)

Towards a Theory of Proofs of Classical Logic Lutz Strassburger Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2011 HDR tel-00772590v1

Autre publication scientifique (1)

On the Axiomatisation of Boolean Categories with and without Medial Lutz Strassburger 2006 Autre publication scientifique inria-00130508v1