Alexander Kartzow

Available identifiers

Publication	Date of Publication	Type
Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints	2017-10-20	Paper
Pumping for ordinal-automatic structures1	2017-07-21	Paper
The field of the reals and the random graph are not finite-word ordinal-automatic	2016-12-16	Paper
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints	2016-04-18	Paper
Satisfiability of \(\mathsf {ECTL}^*\) with tree constraints	2015-10-20	Paper
First-order logic on higher-order nested pushdown trees	2015-09-17	Paper
Reachability in higher-order-counters	2013-09-20	Paper
Satisfiability of \(\mathrm{CTL}^{*}\) with constraints	2013-08-12	Paper
Structures without scattered-automatic presentation	2013-08-05	Paper
Tree-automatic well-founded trees	2013-07-09	Paper
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic	2013-04-09	Paper
Strictness of the collapsible pushdown hierarchy	2012-09-25	Paper
A pumping lemma for collapsible pushdown graphs of level 2	2012-09-18	Paper
Tree-automatic well-founded trees	2012-08-14	Paper
First-order model checking on nested pushdown trees is complete for doubly exponential alternating time	2012-06-22	Paper
First-order model checking on generalisations of pushdown graphs.	2012-03-22	Paper
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic	2012-01-23	Paper
FO Model Checking on Nested Pushdown Trees	2009-10-16	Paper

This page was built for person: Alexander Kartzow