107 citations · 401 across the 20 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 4 cited
On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
Mirna Džamonja, Sylvain Schmitz, Philippe Schnoebelen
We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orde…
cs.LO2017
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering
Simon Halfon, Philippe Schnoebelen, Georg Zetzsche
We consider first-order logic over the subword ordering on finite words, where each word is available as a constant. Our first result is that the theory is undecidable (alrea…