scientific article; zbMATH DE number 1948171

zbMath1020.68049MaRDI QIDQ4411832

Thierry Cachat, Wolfgang Thomas, Jacques Duparc

Publication date: 10 July 2003

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

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

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45) Descriptive set theory (03E15) Games involving topology, set theory, or logic (91A44) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Solving Infinite Games in the Baire Space ⋮ Games with winning conditions of high Borel complexity

This page was built for publication: