7 citations · 16 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Satisfiability of ECTL* with tree constraints
Claudia Carapelle, Shiguang Feng, Alexander Kartzow +1
Recently, we have shown that satisfiability for with constraints over is decidable using a new technique. This approach reduces the satisfiability pr…
cs.FL2014
The field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic
Alexander Kartzow
Recently, Schlicht and Stephan lifted the notion of automatic-structures to the notion of (finite-word) ordinal-automatic structures. These are structures whose domain and relation…