The polynomial hierarchy for some structures over the binary words
From MaRDI portal
Publication:3423149
DOI10.1002/malq.200610025zbMath1116.03035MaRDI QIDQ3423149
Publication date: 20 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610025
03D15: Complexity of computation (including implicit computational complexity)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
Cites Work