On the minimization problem for ω-automata (Q5096909): 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.1007/3-540-58338-6_97
+Normal rank
@@ Property / OpenAlex ID @@
+W2283972599
@@ Property / OpenAlex ID: W2283972599 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5096909