Michael Halfmann

According to our database, Michael Halfmann authored at least 1 paper in 2005.

Collaborative distances:

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

2005

A Tableau-Based Explainer for DL Subsumption.

Thorsten Liebig, Michael Halfmann

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