Back to advisors
AL

Alexander Leitsch

Lecturer

TU Wien · Austria
automated deduction, proof theory

About

1) Automated deduction: Resolution decision procedures, decidable classesof first-order logic, automated model building, subsumption algorithms.2) Proof theory: Analysis of cut elimination3) Automated Lemma Generation4) Proof Analysis

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.