Daniel Götzmann

According to our database, Daniel Götzmann authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Spartacus: A Tableau Prover for Hybrid Logic.

Daniel Götzmann, Mark Kaminski, Gert Smolka

Proceedings of the 6th Workshop on Methods for Modalities, 2009