Synthesis of Finite-state and Definable Winning Strategies. (Q2920143)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Synthesis of Finite-state and Definable Winning Strategies. |
scientific article |
Statements
24 October 2012
0 references
games of ordinal length
0 references
Church synthesis problem
0 references
monadic logic
0 references
composition method
0 references
Synthesis of Finite-state and Definable Winning Strategies. (English)
0 references