Universality of R-automata with Value Copying (Q5179055): Difference between revisions

@@ Property / cites work @@
+Sampled Universality of Timed Automata
@@ Property / cites work: Sampled Universality of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+R-Automata
@@ Property / cites work: R-Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4596779
@@ Property / cites work: Q4596779 / rank @@
+Normal rank
@@ Property / cites work @@
+The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
+Normal rank
@@ Property / cites work @@
+Factorisation Forests for Infinite Words
@@ Property / cites work: Factorisation Forests for Infinite Words / rank @@
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Improved limitedness theorems on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Distance desert automata and the star height problem
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions: An algebraic proof
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+On semigroups of matrices over the tropical semiring
+Normal rank