Unification in permutative equational theories is undecidable (Q1825190): Difference between revisions

@@ Property / cites work @@
+Q3779785
@@ Property / cites work: Q3779785 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative unification
@@ Property / cites work: Associative-commutative unification / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to unification under associativity and commutativity
+Normal rank
@@ Property / cites work @@
+Unification in abelian semigroups
@@ Property / cites work: Unification in abelian semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3703312
@@ Property / cites work: Q3703312 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+New decision algorithms for finitely presented commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+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 @@
+Q3313256
@@ Property / cites work: Q3313256 / rank @@
+Normal rank