Travelled to:1 × Austria
1 × Germany
1 × Japan
1 × The Netherlands
1 × United Kingdom
2 × France
2 × Italy
Collaborated with:M.Baaz G.Reis C.G.Fermüller B.W.Paleo ∅ D.M.Cerna D.Weller G.Moser S.Hetzl J.Tapolczai T.Dunchev T.Libal
Talks about:cut (5) system (3) elimin (3) proof (3) intuitionist (2) transform (2) descript (2) resolut (2) logic (2) res (2)
Person: Alexander Leitsch
DBLP: Leitsch:Alexander
Facilitated 1 volumes:
EdContributed to:
20152014
20122010
199919961994199219892016Wrote 10 papers:
- LICS-2015-BaazLR #complexity #proving
- A Note on the Complexity of Classical and Intuitionistic Proofs (MB, AL, GR), pp. 657–666.
- IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
- Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.
- CSL-2012-LeitschRP #logic #towards
- Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.
- IJCAR-2010-DunchevLLWP #proving
- System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.
- CADE-1999-BaazLM
- System Description: CutRes 0.1: Cut Elimination by Resolution (MB, AL, GM), pp. 212–216.
- CSL-1996-BaazL #performance
- Fast Cut-Elimination by Projection (MB, AL), pp. 18–33.
- LICS-1994-BaazFL #proving
- A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
- CSL-1992-FernmullerL
- Model Building by Resolution (CGF, AL), pp. 134–148.
- CSL-1989-Leitsch
- Deciding Horn Classes by Hyperresolution (AL), pp. 225–241.
- IJCAR-2016-CernaL #order #principle
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (DMC, AL), pp. 241–256.