scientific article; zbMATH DE number 2038738

zbMath1039.68063MaRDI QIDQ4449203

Thierry Cachat

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190556.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (12)

Infinite games specified by 2-tape automata ⋮ Winning Regions of Pushdown Parity Games: A Saturation Method ⋮ The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A saturation method for the modal \(\mu \)-calculus over pushdown systems ⋮ On first-order logic and CPDA graphs ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Optimally Resilient Strategies in Pushdown Safety Games ⋮ Games on Higher Order Multi-stack Pushdown Systems ⋮ Regular sets over extended tree structures ⋮ Domains for Higher-Order Games

This page was built for publication: