Unification in varieties of completely regular semigroups (Q6114512): Difference between revisions

@@ Property / cites work @@
+The theory of idempotent semigroups is of unification type zero
+Normal rank
@@ Property / cites work @@
+Unification in varieties of idempotent semigroups
@@ Property / cites work: Unification in varieties of idempotent semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+A note on unification type zero
@@ Property / cites work: A note on unification type zero / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of unification type zero
@@ Property / cites work: Characterizations of unification type zero / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
+Normal rank
@@ Property / cites work @@
+The free completely regular semigroup on a set
@@ Property / cites work: The free completely regular semigroup on a set / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3335752
@@ Property / cites work: Q3335752 / rank @@
+Normal rank
@@ Property / cites work @@
+All Varieties of Bands I
@@ Property / cites work: All Varieties of Bands I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of equational classes of idempotent semigroups
+Normal rank
@@ Property / cites work @@
+Free completely regular semigroups. II: Word problem.
+Normal rank
@@ Property / cites work @@
+The Word Problem for Orthogroups
@@ Property / cites work: The Word Problem for Orthogroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835440
@@ Property / cites work: Q3835440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+A theory of complete logic programs with equality
@@ Property / cites work: A theory of complete logic programs with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+The unification hierarchy is undecidable
@@ Property / cites work: The unification hierarchy is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+The Structure of Completely Regular Semigroups
@@ Property / cites work: The Structure of Completely Regular Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of orthodox bands of groups
@@ Property / cites work: Varieties of orthodox bands of groups / rank @@
+Normal rank
@@ Property / cites work @@
+On the varieties of completely regular semigroups
@@ Property / cites work: On the varieties of completely regular semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+On varieties of completely regular semigroups. I
@@ Property / cites work: On varieties of completely regular semigroups. I / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under associativity and idempotence is of type nullary
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in monoidal theories
@@ Property / cites work: Unification in monoidal theories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6114512