4 citations · 9 across the 6 of their papers we have counts for
3 papers · 1 filter
First-order Fragments with Successor over Infinite Words
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
We consider fragments of first-order logic and as models we allow finite and infinite words simultaneously. The only binary relations apart from equality are order comparison < and…
Partially Ordered Two-way Büchi Automata
Manfred Kufleitner, Alexander Lauser
We introduce partially ordered two-way Büchi automata and characterize their expressive power in terms of fragments of first-order logic FO[<]. Partially ordered two-way Büchi auto…
Rankers over Infinite Words
Luc Dartois, Manfred Kufleitner, Alexander Lauser
We consider the four fragments FO2, the intersection of Sigma2 and FO2, the intersection of Pi2 and FO2, and Delta2 of first-order logic FO[<] over finite and infinite words. For a…