Algebraic decision procedures for local testability (Q4773689): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of locally testable events
@@ Property / cites work: Characterizations of locally testable events / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Definite Automata
@@ Property / cites work: The Theory of Definite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Locally testable languages
@@ Property / cites work: Locally testable languages / rank @@
+Normal rank
@@ Property / cites work @@
+Locally testable semigroups
@@ Property / cites work: Locally testable semigroups / rank @@
+Normal rank