Philipp Correll

According to our database, Philipp Correll authored at least 1 paper in 2005.

Collaborative distances:

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

2005

Proof Output and Transformation for Disconnection Tableaux.

Philipp Correll, Gernot Stenz

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