2 papers
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…
cs.LO2012
First-Order Logic on Higher-Order Nested Pushdown Trees
Alexander Kartzow
We introduce a new hierarchy of higher-order nested pushdown trees generalising Alur et al.'s concept of nested pushdown trees. Nested pushdown trees are useful representations of…