TY  - CONF

T1  - On quantified propositional logics and the exponential time hierarchy

JO  - Electronic Proceedings in Theoretical Computer Science, EPTCS

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

VL  - 226

SP  - 198

EP  - 212

Y2  - 2024/12/22

ER  -