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	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}$	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