Universal quantification makes automatic structures hard to decide.

Christoph Haase Radoslaw Piórkowski

Published in: CoRR (2023)

Keyphrases

propositional logic
quantified boolean formulae