7 citations · 16 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
First-Order Model Checking on Generalisations of Pushdown Graphs
Alexander Kartzow
We study the first-order model checking problem on two generalisations of pushdown graphs. The first class is the class of nested pushdown trees. The other is the class of collapsi…
Tree-Automatic Well-Founded Trees
Martin Huschenbett, Alexander Kartzow, Jiamou Liu +1
We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-f…
Strictness of the Collapsible Pushdown Hierarchy
Alexander Kartzow, Paweł Parys
We present a pumping lemma for each level of the collapsible pushdown graph hierarchy in analogy to the second author's pumping lemma for higher-order pushdown graphs (without coll…