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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6432
@@ Property / arXiv ID: 1011.6432 / rank @@
+Normal rank
@@ 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