Peter Baumgartner

According to our database, Peter Baumgartner authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Merge Path Improvements for Minimal Model Hyper Tableaux.

Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer

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