Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (Q752703)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies |
scientific article |
Statements
Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (English)
0 references
1990
0 references
infinite games with perfect information
0 references
tree
0 references
automata
0 references
priority automata
0 references
deterministic strategy
0 references
nondeterministic strategy
0 references
Gurevich- Harrington's Restricted Memory Determinacy Theorem
0 references
Determinacy with Restraints Problem
0 references
strategies with restricted memory
0 references
concurrent programs
0 references
modularity of a winning strategy
0 references
program specification
0 references
