Token Games and History-Deterministic Quantitative-Automata (Q6178674): Difference between revisions

Newer edit →

@@ Property / title @@
+Token games and history-deterministic quantitative automata (English)
+Normal rank
@@ Property / DOI @@
+.1007/978-3-030-99253-8_7
@@ Property / DOI: 10.1007/978-3-030-99253-8_7 / rank @@
+Normal rank
@@ Property / published in @@
+Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+January 2024Timestamp +2024-01-23T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2024-01-23T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 23 January 2024 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Nxx
@@ Property / Mathematics Subject Classification ID: 68Nxx / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Qxx
@@ Property / Mathematics Subject Classification ID: 68Qxx / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7793026
@@ 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