Michael Peter Lettmann

According to our database, Michael Peter Lettmann authored at least 6 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

The problem of Π₂-cut-introduction.

Alexander Leitsch, Michael Peter Lettmann

Theor. Comput. Sci., 2018

A Tableaux Calculus for Reducing Proof Size.

Michael Peter Lettmann, Nicolas Peltier

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Clausal Analysis of First-order Proof Schemata.

David M. Cerna, Michael Peter Lettmann

CoRR, 2017

Integrating a Global Induction Mechanism into a Sequent Calculus.

David M. Cerna, Michael Peter Lettmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Towards a Clausal Analysis of Proof Schemata.

David M. Cerna, Michael Peter Lettmann

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

The problem of Pi_2-cut-introduction.

Alexander Leitsch, Michael Peter Lettmann

CoRR, 2016