Infinite games specified by 2-tape automata (Q324245): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (5 intermediate revisions by 4 users not shown) | |||
| 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 | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2963698523 / rank | |||
Normal rank | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 1312.3797 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3086917 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Complexity of winning strategies / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4449203 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Nondeterministic Ω-Computations and the Analytical Hierarchy / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: \(\omega\)-computations on Turing machines / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Borel ranks and Wadge degrees of context free $\omega$-languages / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the Accepting Power of 2-Tape Büchi Automata / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Wadge degrees of infinitary rational relations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Highly Undecidable Problems For Infinite Computations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Complexity of Infinite Computations In Models of Set Theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Determinacy of Context-Free Games / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5817866 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4506483 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4323294 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3795669 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Measurable cardinals and analytic games / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3037422 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Infinite games in the Cantor space and subsystems of second order arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Classical recursion theory. Vol. II / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5317419 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573961 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4700517 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Wadge reducibility and infinite computations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4714446 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4485444 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3342555 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the synthesis of strategies in infinite games / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Church’s Problem and a Tour through Automata Theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Pushdown processes: Games and model-checking / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 17:35, 12 July 2024
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
