Token Games and History-Deterministic Quantitative-Automata (Q6178674): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||||||||||||||
Property / title | |||||||||||||||
Token games and history-deterministic quantitative automata (English) | |||||||||||||||
Property / title: Token games and history-deterministic quantitative automata (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/978-3-030-99253-8_7 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Lecture Notes in Computer Science / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
23 January 2024
| |||||||||||||||
Property / publication date: 23 January 2024 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Nxx / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Qxx / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 7793026 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
automata | |||||||||||||||
Property / zbMATH Keywords: automata / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
synthesis | |||||||||||||||
Property / zbMATH Keywords: synthesis / rank | |||||||||||||||
Normal rank |
Revision as of 07:43, 30 April 2024
scientific article; zbMATH DE number 7788980
Language | Label | Description | Also known as |
---|---|---|---|
English | Token Games and History-Deterministic Quantitative-Automata |
scientific article; zbMATH DE number 7788980 |
Statements
Token Games and History-Deterministic Quantitative-Automata (English)
0 references
Token games and history-deterministic quantitative automata (English)
0 references
16 January 2024
0 references
23 January 2024
0 references
quantitative automata
0 references
history-determinism
0 references
token games
0 references
automata
0 references
synthesis
0 references