Inclusion relations between some congruences related to the dot-depth hierarchy (Q1917345): Difference between revisions

@@ Property / cites work @@
+Some logical characterizations of the dot-depth hierarchy and applications
+Normal rank
@@ Property / cites work @@
+Games, equations and the dot-depth hierarchy
@@ Property / cites work: Games, equations and the dot-depth hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On dot-depth two
@@ Property / cites work: On dot-depth two / rank @@
+Normal rank
@@ Property / cites work @@
+Games, equations and dot-depth two monoids
@@ Property / cites work: Games, equations and dot-depth two monoids / rank @@
+Normal rank
@@ Property / cites work @@
+THE DOT-DEPTH OF A GENERATING CLASS OF APERIODIC MONOIDS IS COMPUTABLE
+Normal rank
@@ Property / cites work @@
+Equations and dot-depth one
@@ Property / cites work: Equations and dot-depth one / rank @@
+Normal rank
@@ Property / cites work @@
+Equations and monoid varieties of dot-depth one and two
+Normal rank
@@ Property / cites work @@
+On a complete set of generators for dot-depth two
@@ Property / cites work: On a complete set of generators for dot-depth two / rank @@
+Normal rank
@@ Property / cites work @@
+The dot-depth hierarchy of star-free languages is infinite
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Dot-depth of star-free events
@@ Property / cites work: Dot-depth of star-free events / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q3673124
@@ Property / cites work: Q3673124 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+A property of the Schützenberger product
@@ Property / cites work: A property of the Schützenberger product / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184421
@@ Property / cites work: Q5184421 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730029
@@ Property / cites work: Q3730029 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An application of the Ehrenfeucht-Fraisse game in formal language theory
+Normal rank
@@ Property / cites work @@
+Categories as algebra: An essential ingredient in the theory of monoids
+Normal rank
@@ Property / cites work @@
+Inverse monoids of dot-depth two
@@ Property / cites work: Inverse monoids of dot-depth two / rank @@
+Normal rank