Two-Way Tree Automata Solving Pushdown Games

DOI10.1007/3-540-36387-4_17zbMath1021.68044OpenAlexW2180049245MaRDI QIDQ4412840

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

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

Related Items (5)

Unnamed Item ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Pushdown module checking ⋮ Evaluating Datalog via tree automata and cycluits ⋮ The Complexity of Flat Freeze LTL

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