Infinite games specified by 2-tape automata (Q324245): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03E60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03D05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q17 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6636997 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
automata and formal languages | |||
| Property / zbMATH Keywords: automata and formal languages / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
logic in computer science | |||
| Property / zbMATH Keywords: logic in computer science / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Gale-Stewart games | |||
| Property / zbMATH Keywords: Gale-Stewart games / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
2-tape Büchi automaton | |||
| Property / zbMATH Keywords: 2-tape Büchi automaton / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
1-counter automaton | |||
| Property / zbMATH Keywords: 1-counter automaton / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
determinacy | |||
| Property / zbMATH Keywords: determinacy / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
effective analytic determinacy | |||
| Property / zbMATH Keywords: effective analytic determinacy / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
models of set theory | |||
| Property / zbMATH Keywords: models of set theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
independence from the axiomatic system ZFC | |||
| Property / zbMATH Keywords: independence from the axiomatic system ZFC / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
complexity of winning strategies | |||
| Property / zbMATH Keywords: complexity of winning strategies / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
wadge games | |||
| Property / zbMATH Keywords: wadge games / rank | |||
Normal rank | |||
Revision as of 03:37, 28 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite games specified by 2-tape automata |
scientific article |
Statements
Infinite games specified by 2-tape automata (English)
0 references
10 October 2016
0 references
automata and formal languages
0 references
logic in computer science
0 references
Gale-Stewart games
0 references
2-tape Büchi automaton
0 references
1-counter automaton
0 references
determinacy
0 references
effective analytic determinacy
0 references
models of set theory
0 references
independence from the axiomatic system ZFC
0 references
complexity of winning strategies
0 references
wadge games
0 references
