Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

DOI10.2168/LMCS-9(1:12)2013zbMath1261.03127arXiv1303.2453MaRDI QIDQ4913775

Alexander Kartzow

Publication date: 9 April 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.2453

zbMATH Keywords

reachabilityfirst-order logicdecidabilitycollapsible pushdown systemstree-automatic structurescollapsible pushdown graphs

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

On first-order logic and CPDA graphs

This page was built for publication: Collapsible Pushdown Graphs of Level 2 are Tree-Automatic