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


Legal notice, Privacy policy