Michael Peter Lettmann

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 8

Top Topics

Cut Elimination

Sequent Calculus

Theorem Proving

Top Venues

Publications

Alexander Leitsch, Michael Peter Lettmann
-cut-introduction. Theor. Comput. Sci. 706 (2018)
Michael Peter Lettmann, Nicolas Peltier
A Tableaux Calculus for Reducing Proof Size. CoRR (2018)
Michael Peter Lettmann, Nicolas Peltier
A Tableaux Calculus for Reducing Proof Size. IJCAR (2018)
David M. Cerna, Michael Peter Lettmann
Clausal Analysis of First-order Proof Schemata. CoRR (2017)
David M. Cerna, Michael Peter Lettmann
Towards a Clausal Analysis of Proof Schemata. SYNASC (2017)
David M. Cerna, Michael Peter Lettmann
Integrating a Global Induction Mechanism into a Sequent Calculus. CoRR (2017)
David M. Cerna, Michael Peter Lettmann
Integrating a Global Induction Mechanism into a Sequent Calculus. TABLEAUX (2017)
Alexander Leitsch, Michael Peter Lettmann
The problem of Pi_2-cut-introduction. CoRR (2016)