A Pumping Lemma for Collapsible Pushdown Graphs of Level 2

From MaRDI portal

Publication:2915692

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2011.322zbMath1247.68147OpenAlexW2259693994MaRDI QIDQ2915692

Alexander Kartzow

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2a28.html

zbMATH Keywords

pumping lemma collapsible pushdown graph epsilon-contraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

An Approach to Computing Downward Closures, Unnamed Item

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