Accéder directement au contenu

Lutz Straßburger

56
Documents
Affiliations actuelles
  • 118511
Identifiants chercheurs

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Normalization Without Syntax

Willem Heijltjes , Dominic Hughes , Lutz Strassburger
FSCD 2022, Aug 2022, Haifa, Israel
Communication dans un congrès hal-03654060v1
Image document

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
Image document

Demo Paper: Coqlex, an approach to generate verified lexers

Wendlasida Ouedraogo , Danko Ilik , Lutz Strassburger
ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States
Communication dans un congrès hal-03470713v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

A Characterisation of Medial as Rewriting Rule

Lutz Strassburger
RTA 2007, Jun 2007, Paris, France
Communication dans un congrès inria-00165997v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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

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
Image document

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
Image document

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
Image document

Introduction to Deep Inference

Andrea Aler Tubella , Lutz Strassburger
École thématique. Introduction to Deep Inference, Riga, Latvia. 2019
Cours hal-02390267v1
Image document

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
Image document

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