BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leitsch:Alexander

Facilitated 1 volumes:

IJCAR 2001Ed

Contributed to:

LICS 20152015
IJCAR 20142014
CSL 20122012
IJCAR 20102010
CADE 19991999
CSL 19961996
LICS 19941994
CSL 19921992
CSL 19891989
IJCAR 20162016

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.
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.
Model Building by Resolution (CGF, AL), pp. 134–148.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.