Trading Bounds for Memory in Games with Counters (Q3449476): Difference between revisions

@@ Property / OpenAlex ID @@
+W1091982525
@@ Property / OpenAlex ID: W1091982525 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03121
@@ Property / arXiv ID: 1709.03121 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-way cost automata and cost logics over infinite trees
+Normal rank
@@ Property / cites work @@
+Decidability Results for the Boundedness Problem
@@ Property / cites work: Decidability Results for the Boundedness Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Cost Functions, Part I: Logic and Algebra over Words
+Normal rank
@@ Property / cites work @@
+The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
+Normal rank
@@ Property / cites work @@
+Improved limitedness theorems on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Distance desert automata and the star height problem
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions: An algebraic proof
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On semigroups of matrices over the tropical semiring
+Normal rank
@@ Property / cites work @@
+Weak Cost Monadic Logic over Infinite Trees
@@ Property / cites work: Weak Cost Monadic Logic over Infinite Trees / rank @@
+Normal rank