Search Results - Straube, T.
-
1
-
2
-
3
-
4
-
5
The half-levels of the FO2 alternation hierarchy
Published 2017“…The alternation hierarchy in two-variable first-order logic FO 2 [ < ] over words was shown to be decidable by Kufleitner and Weil, and independently by Krebs and Straubing. We consider a similar hierarchy, reminiscent of the half levels of the dot-depth hierarchy or the Straubing-Thérien hierarchy. …”
Get full text
Default Article -
6
Block products and nesting negations in FO2
Published 2014“…The alternation hierarchy in two-variable first-order logic FO 2 [∈ < ∈] over words was recently shown to be decidable by Kufleitner and Weil, and independently by Krebs and Straubing. In this paper we consider a similar hierarchy, reminiscent of the half levels of the dot-depth hierarchy or the Straubing-Thérien hierarchy. …”
Get full text
Default Conference proceeding