`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:

### Contributed to:

### Wrote 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.