Thomas Schneider

Available identifiers

zbMath Open schneider.thomasMaRDI QIDQ393136

List of research outcomes

Publication	Date of Publication	Type
The tractability of model checking for LTL: the good, the bad, and the ugly fragments	2015-09-17	Paper
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments	2015-03-23	Paper
Generalized satisfiability for the description logic \(\mathcal{ALC}\)	2014-01-16	Paper
Undecidability of multi-modal hybrid logics	2013-12-20	Paper
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics	2011-07-01	Paper
Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract)	2011-07-01	Paper
Complexity of hybrid logics over transitive frames	2011-03-22	Paper
The complexity of hybrid logics over equivalence relations	2010-01-06	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic	2009-04-29	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic	2007-09-07	Paper

Research outcomes over time

This page was built for person: Thomas Schneider