Possibly Related Publications

The following publications are possibly variants of this publication:

• The FO2 alternation hierarchy is decidableManfred Kufleitner, Pascal Weil. csl 2012: 426-439 [doi]
• Level Two of the Quantifier Alternation Hierarchy over Infinite WordsManfred Kufleitner, Tobias Walter. csr 2016: 223-236 [doi]
• Level Two of the Quantifier Alternation Hierarchy Over Infinite WordsManfred Kufleitner, Tobias Walter. mst, 62(3):467-480, 2018. [doi]
• The Half-Levels of the FO2 Alternation HierarchyLukas Fleischer, Manfred Kufleitner, Alexander Lauser. mst, 61(2):352-370, 2017. [doi]
• 2 Alternation for Automata over Finite and Infinite WordsViktor Henriksson, Manfred Kufleitner. dlt 2021: 180-191 [doi]
• 2 Alternation Over Finite and Infinite WordsViktor Henriksson, Manfred Kufleitner. ijfcs, 34(2&3):183-224, February & April 2023. [doi]