Jonni Virtema (Department of Mathematics
Identifiers
No identifiers captured yet.
Papers (1)
- On Quantified Propositional Logics and the Exponential Time Hierarchy cs.LO · 2016 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Juha Kontinen (Department of Mathematics 1 shared papers
- Leibniz Universit\"at Hannover) 1 shared papers
- Martin L\"uck (Institut f\"ur Theoretische Informatik 1 shared papers
- Miika Hannula (Department of Computer Science 1 shared papers
- Statistics 1 shared papers
- The University of Auckland) 1 shared papers
- University of Helsinki) 1 shared papers