Level Two of the Quantifier Alternation Hierarchy Over Infinite Words
Crossref DOI link: https://doi.org/10.1007/s00224-017-9801-x
Published Online: 2017-08-04
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kufleitner, Manfred
Walter, Tobias
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (DI 435/5-2)
Deutsche Forschungsgemeinschaft (DI 435/6-1)
License valid from 2017-08-04