The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816): Difference between revisions

@@ Property / cites work @@
+Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407421
@@ Property / cites work: Q4407421 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to the word problem for \(\omega\)-terms over R
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of Bands Revisited
@@ Property / cites work: Varieties of Bands Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On radical congruence systems
@@ Property / cites work: On radical congruence systems / rank @@
+Normal rank
@@ Property / cites work @@
+Ehrenfeucht-Fraisse Games on Omega-Terms
@@ Property / cites work: Ehrenfeucht-Fraisse Games on Omega-Terms / rank @@
+Normal rank
@@ Property / cites work @@
+The Join Levels of the Trotter-Weil Hierarchy Are Decidable
+Normal rank
@@ Property / cites work @@
+On the lattice of sub-pseudovarieties of DA.
@@ Property / cites work: On the lattice of sub-pseudovarieties of DA. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649563
@@ Property / cites work: Q4649563 / rank @@
+Normal rank
@@ Property / cites work @@
+On logical hierarchies within FO^2-definable languages
+Normal rank
@@ Property / cites work @@
+NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
@@ Property / cites work: NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for \(\omega \)-terms over DA
@@ Property / cites work: The word problem for \(\omega \)-terms over DA / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages by Piecewise Testable and Unambiguous Languages
+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 @@
+Q4737911
@@ Property / cites work: Q4737911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407441
@@ Property / cites work: Q4407441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542541
@@ Property / cites work: Q4542541 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
+Normal rank
@@ Property / cites work @@
+Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
+Normal rank