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
https://portal.mardi4nfdi.de/entity/Q5507034	2016-12-16	Paper
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints	2016-04-18	Paper
Satisfiability of 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 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
https://portal.mardi4nfdi.de/entity/Q2915692	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Kartzow