Limitedness theorem on finite automata with distance functions (Q1050772): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(82)90051-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2165854715
@@ Property / OpenAlex ID: W2165854715 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401426
@@ Property / cites work: Q4401426 / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for the order of regular events
+Normal rank
@@ Property / cites work @@
+The star height of reset-free events and strictly locally testable events
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1050772