Programming Systems Lab: Publications by Sigurd Schneider

Saarland University Computer Science
Programming Systems
People
Publications
Coordinates
Teaching
Software
Internal

Alice
Gecode
Mozart

Select author:

2011

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science

2009

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies   (pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009

Login to edit


Webmaster, Wed Sep 16 16:33:27 2009