Keywords:
Publications of Thomas Schneider
2013
Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Proceedings of Conference On Spatial Information Theory 2013, 2013 | , , and ,
2012
LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012 | , and ,
[URL] |
2011
The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28) | , , , , and ,