List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Erratum to: ``The complexity of satisfiability for fragments of CTL and \(\mathrm{CTL}^\star\) International Journal of Foundations of Computer Science | 2016-04-15 | Paper |
| Erratum to: The more the merrier? Journal of Statistical Physics | 2013-02-25 | Paper |
| Size matters! Journal of Statistical Physics | 2013-02-11 | Paper |
| On the applicability of Post's lattice Information Processing Letters | 2012-07-20 | Paper |
| The complexity of reasoning for fragments of default logic Journal of Logic and Computation | 2012-06-20 | Paper |
| On the parameterized complexity of default logic and autoepistemic logic Language and Automata Theory and Applications | 2012-06-08 | Paper |
| The more the merrier? Entropy and statistics of asexual reproduction in freshwater planarians Journal of Statistical Physics | 2011-06-03 | Paper |
Research outcomes over time
This page was built for person: Michael Thomas
