TY  - CONF

T1  - On Quantified Propositional Logics and the Exponential Time Hierarchy

JO  - Electronic Proceedings in Theoretical Computer Science

UR  - https://doi.org/10.4204/eptcs.226.14

PY  - 2016/09/13

AU  - Hannula M

AU  - Kontinen J

AU  - Lück M

AU  - Virtema J

ED  - 

DO  - DOI: 10.4204/eptcs.226.14

PB  - Open Publishing Association

VL  - 226

SP  - 198

EP  - 212

Y2  - 2025/12/13

ER  -