Two-Way Tree Automata Solving Pushdown Games

DOI10.1007/3-540-36387-4_17MaRDI QIDQ4412840zbMATH OpenOpenAlexFDO

Authors Thierry Cachat

Publication date 16 July 2003

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

Full work available at URL https://doi.org/10.1007/3-540-36387-4_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 2-person games (91A05) Games involving graphs (91A43)

Recommendations

• Formats of winning strategies for six types of pushdown games
• Winning Regions of Pushdown Parity Games: A Saturation Method
• scientific article; zbMATH DE number 2038738
• scientific article; zbMATH DE number 2086664
• Pushdown processes: Games and model-checking

Cited in

(16)

• Evaluating Datalog via tree automata and cycluits
• Uniform solution of parity games on prefix-recognizable graphs
• Positional Strategies for Higher-Order Pushdown Parity Games
• Games on Multi-stack Pushdown Systems
• scientific article; zbMATH DE number 2038738 (Why is no real title available?)
• scientific article; zbMATH DE number 2086664 (Why is no real title available?)
• The complexity of flat freeze LTL
• Playing pushdown parity games in a hurry
• Collapsible pushdown parity games
• The complexity of flat freeze LTL
• Formats of winning strategies for six types of pushdown games
• Computer Science Logic
• Fundamentals of Computation Theory
• Church synthesis on register automata over linearly ordered data domains
• Perspective games
• Pushdown module checking

This page was built for publication: Two-Way Tree Automata Solving Pushdown Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412840)