scientific article; zbMATH DE number 6821558

zbMath1377.03027MaRDI QIDQ4599512

Wolfgang Thomas

Publication date: 3 January 2018

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

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Unnamed Item, Connectivity games over dynamic networks, Unnamed Item, Church’s Problem and a Tour through Automata Theory, Facets of Synthesis: Revisiting Church’s Problem, Unnamed Item, Finite transducers and rational transductions, Synthesis for continuous time