Programming Systems Lab: Publications by Daniel Götzmann

Saarland University Computer Science

Select author:

2010

Spartacus: A Tableau Prover for Hybrid Logic   (pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6

2009

Spartacus: A Tableau Prover for Hybrid Logic   (pdf)
Daniel Götzmann
M.Sc. Thesis, Programming Systems Lab, Department of Computer Science, Saarland University


Login to edit


Webmaster, Mon May 30 13:48:30 2016