The University of Auckland)

Identifiers

No identifiers captured yet.

Papers (1)

1. On Quantified Propositional Logics and the Exponential Time Hierarchy cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jonni Virtema (Department of Mathematics 1 shared papers
• 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
• University of Helsinki) 1 shared papers