Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic - MaRDI portal

Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

From MaRDI portal

Publication:3113775

Jump to:navigation, search

DOI10.4230/LIPIcs.STACS.2010.2480zbMath1230.68133arXiv0912.4110OpenAlexW2764219630MaRDI QIDQ3113775

Alexander Kartzow

Publication date: 23 January 2012

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

zbMATH Keywords

reachability collapsible pushdown systems tree-automatic structures collapsible pushdown graphs first-order decidability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Related Items (3)

Krivine machines and higher-order schemes ⋮ Krivine Machines and Higher-Order Schemes ⋮ Unnamed Item

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3113775&oldid=16206773"