Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni
(Waterloo, NSW : Open Publishing Association, 2016)
We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize both quantified and dependency quantified ...