Unification in partially commutative semigroups (Q1337561): Difference between revisions

@@ Property / author @@
-Edmund Kieran Burke
@@ Property / author: Edmund Kieran Burke / rank @@
-Normal rank
@@ Property / author @@
+Edmund Kieran Burke
@@ Property / author: Edmund Kieran Burke / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Solving word equations
@@ Property / cites work: Solving word equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993363
@@ Property / cites work: Q3993363 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of idempotent semigroups is of unification type zero
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
+Normal rank
@@ Property / cites work @@
+Unification for nilpotent groups of class 2
@@ Property / cites work: Unification for nilpotent groups of class 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in abelian semigroups
@@ Property / cites work: Unification in abelian semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935355
@@ Property / cites work: Q3935355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5673640
@@ Property / cites work: Q5673640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159542
@@ Property / cites work: Q4159542 / rank @@
+Normal rank
@@ Property / cites work @@
+THE SOLVABILITY PROBLEM FOR EQUATIONS IN ONE UNKNOWN IN NILPOTENT GROUPS
+Normal rank
@@ Property / cites work @@
+Q3824583
@@ Property / cites work: Q3824583 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
+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 @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ Property / cites work @@
+Equation-Solving in Free Nilpotent groups Class 2 and 3
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1337561