Resource Reachability Games on Pushdown Graphs

DOI10.1007/978-3-642-54830-7_13zbMath1405.68168OpenAlexW2130828787MaRDI QIDQ5410673

Martin Lang

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_13

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45)

This page was built for publication: Resource Reachability Games on Pushdown Graphs