Relating timed and register automata (Q2971073): Difference between revisions

@@ Property / cites work @@
+Hierarchies of number-theoretic functions. I
@@ Property / cites work: Hierarchies of number-theoretic functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to data languages and timed languages
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Characterization of Timed Languages
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank