On the minimization problem for ω-automata (Q5096909): Difference between revisions

@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Saturating right congruences
@@ Property / cites work: Saturating right congruences / rank @@
+Normal rank
@@ Property / cites work @@
+SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
+Normal rank
@@ Property / cites work @@
+Q4281561
@@ Property / cites work: Q4281561 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank