Programming Systems Lab: Publications by Thomas Schneider

Saarland University Computer Science

Select author:

2011

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics   (pdf)
Mark Kaminski, Thomas Schneider, Gert Smolka
TABLEAUX 2011


Login to edit


Webmaster, Mon May 30 13:48:30 2016