Alexander Leitsch

Officially: Univ.Prof.Dr.phil.Alexander Leitsch (retired since October 1, 2017)

Email: leitsch@logic.at

Workgroup Theory and Logic
Phone: +43 1 58801 185 40
Fax: +43 1 58 801-185 97

Find here further informations on

• Curriculum vitae and list of publications.
• Research.
• Teaching.

Papers and Reports:

• towards a clausal analysis of cut-elimination.
• resolution theorem proving: a logical point of view.
• comparing the complexity of cut-elimination methods.
• a meta-calculus for Krom-Horn logic.

Book:

• automated model building (introduction, references).

ESSLLI 2005, Slides:

• computational analysis of proofs (slides).

my garden in June

• royal fern
• with the family

Navigation:

• To Institute Home Page.
• To Server Home Page.