A
Alexander Kartzow
Researcher at Leipzig University
Publications - 22
Citations - 120
Alexander Kartzow is an academic researcher from Leipzig University. The author has contributed to research in topics: Tree (set theory) & Decidability. The author has an hindex of 7, co-authored 22 publications receiving 116 citations. Previous affiliations of Alexander Kartzow include Technische Universität Darmstadt & Folkwang University of the Arts.
Papers
More filters
Book ChapterDOI
Strictness of the collapsible pushdown hierarchy
Alexander Kartzow,Paweł Parys +1 more
TL;DR: In this paper, the authors present a pumping lemma for each level of the collapsible pushdown graph hierarchy in analogy to the second author's pumping lemmas for higher-order pushdown graphs (without collapse).
Proceedings ArticleDOI
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
TL;DR: It is shown that graphs generated by collapsible pushdown systems of level $2$ are tree-automatic, and their \FO theories are decidable, even when expanded by a reachability predicate.
Book ChapterDOI
Satisfiability of CTL* with constraints
TL;DR: It is shown that satisfiability for CTL* with equality-, order-, and modulo-constraints over ℤ is decidable.
Book ChapterDOI
Satisfiability of ECTL* with Tree Constraints
TL;DR: This work shows that satisfiability of EHD with constraints is decidable over semi-linear orders, and introduces Ehrenfeucht-Fraisse-games for Weak MSO+B and uses them to show that the infinite (order) tree does not have property EHD.
Book ChapterDOI
Tree-Automatic well-founded trees
TL;DR: It is shown that the isomorphism problem for tree-automatic well-founded trees is complete for level $\Delta^0_{\omega^ \omega}$ of the hyperarithmetical hierarchy (under Turing-reductions).