Michael Thomas

Available identifiers

zbMath Open thomas.michael-aMaRDI QIDQ540571

List of research outcomes

Publication	Date of Publication	Type
Erratum to: ``The complexity of satisfiability for fragments of CTL and \(\mathrm{CTL}^\star\)	2016-04-15	Paper
Erratum to: The more the merrier?	2013-02-25	Paper
Size matters!	2013-02-11	Paper
On the applicability of Post's lattice	2012-07-20	Paper
The complexity of reasoning for fragments of default logic	2012-06-20	Paper
On the Parameterized Complexity of Default Logic and Autoepistemic Logic	2012-06-08	Paper
The more the merrier? Entropy and statistics of asexual reproduction in freshwater planarians	2011-06-03	Paper

Research outcomes over time

This page was built for person: Michael Thomas