Permutative rewriting and unification (Q876048): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2006.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1967953866
@@ Property / OpenAlex ID: W1967953866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental algorithms for permutation groups
@@ Property / cites work: Fundamental algorithms for permutation groups / 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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Group-theoretic algorithms and graph isomorphism
@@ Property / cites work: Group-theoretic algorithms and graph isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809079
@@ Property / cites work: Q4809079 / rank @@
+Normal rank
@@ Property / cites work @@
+Single versus simultaneous equational unification and equational unification for variable-permuting theories
+Normal rank
@@ Property / cites work @@
+Decidability and complexity analysis by basic paramodulation
+Normal rank
@@ Property / cites work @@
+Unification in permutative equational theories is undecidable
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank