Lutz Straßburger

Statistics

Publications

Citations

309

H-Index

Active since

2003

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

École Polytechnique

Institut national de recherche en sciences et technologies du numérique

Centre Inria de Saclay

University of Bath

Lutz Straßburger is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in automated reasoning, computer science, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationPhysicsLanguageSemanticsLinguisticsVerification

Publications per year

2003–2019

Publications

MELL in the calculus of structures

Lutz Straßburger · Theoretical Computer Science · 2003 · 49 citations

Algebraic Analysis, Mathematical Structure, Generalized Function

From Proof Nets to the Free *-Autonomous Category

F. Lamarche, Lutz Straßburger · Logical Methods in Computer Science · 2006 · 34 citations · Full text

Equivalence Relation, Engineering, Automated Reasoning +11

A system of interaction and structure V: the exponentials and splitting

Alessio Guglielmi, Lutz Straßburger · Mathematical Structures in Computer Science · 2011 · 26 citations · Full text

Engineering, Higher-order Logic, Computational Logic +19

System NEL is Undecidable

Lutz Straßburger · Electronic Notes in Theoretical Computer Science · 2003 · 26 citations · Full text

Computational Logic, Non-classical Logic, Engineering +11

On Nested Sequents for Constructive Modal Logics

Lutz Straßburger, Anupam Das, Ryuta Arisaka · Logical Methods in Computer Science · 2015 · 25 citations · Full text

Non-classical Logic, Engineering, Constructive Modal Logics +14

1–5 of 15