Loops in automata and HDTOL relations (Q3479541): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W23690154
@@ Property / OpenAlex ID: W23690154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic two-tape automata
+Normal rank
@@ Property / cites work @@
+A Purely Homomorphic Characterization of Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Systems of equations over a free monoid and Ehrenfeucht's conjecture
+Normal rank
@@ Property / cites work @@
+The equivalence of finite valued transducers (on HDT0L languages) is decidable
+Normal rank
@@ Property / cites work @@
+Q3793751
@@ Property / cites work: Q3793751 / rank @@
+Normal rank
@@ Property / cites work @@
+HDTOL matching of computations of multitape automata
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+AFL with the semilinear property
@@ Property / cites work: AFL with the semilinear property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for some classes of deterministic multitape automata
+Normal rank
@@ Property / cites work @@
+Intersections de langages algébriques bornes
@@ Property / cites work: Intersections de langages algébriques bornes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746787
@@ Property / cites work: Q4746787 / rank @@
+Normal rank