Daniel Götzmann

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Daniel Götzmann, Mark Kaminski, Gert Smolka
Spartacus: A Tableau Prover for Hybrid Logic. Electron. Notes Theor. Comput. Sci. 262 (2010)