Games on Higher Order Multi-stack Pushdown Systems

DOI10.1007/978-3-642-04420-5_19zbMath1260.68214OpenAlexW1662275540MaRDI QIDQ3646264

Anil K. Seth

Publication date: 19 November 2009

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-04420-5_19

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pushdown processes: Games and model-checking
• Games on Multi-stack Pushdown Systems
• An automata-theoretical characterization of the OI-hierarchy
• Collapsible Pushdown Automata and Recursion Schemes
• Context-Bounded Analysis of Concurrent Queue Systems
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems
• Automata, Languages and Programming

This page was built for publication: Games on Higher Order Multi-stack Pushdown Systems