On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_50
+Normal rank
@@ Property / OpenAlex ID @@
+W1591350144
@@ Property / OpenAlex ID: W1591350144 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pair criteria for completion
@@ Property / cites work: Critical pair criteria for completion / rank @@
+Normal rank
@@ Property / cites work @@
+The diamond lemma for ring theory
@@ Property / cites work: The diamond lemma for ring theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of reductions modulo associativity, commutativity and identity
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208084
@@ Property / cites work: Q3208084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237373
@@ Property / cites work: Q4237373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / 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 @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Termination and completion modulo associativity, commutativity and identity
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+Only prime superpositions need be considered in the Knuth-Bendix completion procedure
+Normal rank
@@ Property / cites work @@
+Q3325075
@@ Property / cites work: Q3325075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702510
@@ Property / cites work: Q3702510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993260
@@ Property / cites work: Q3993260 / rank @@
+Normal rank
@@ Property / cites work @@
+On how to move mountains ‘associatively and commutatively’
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ Property / cites work @@
+Q3745825
@@ Property / cites work: Q3745825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3675515
@@ Property / cites work: Q3675515 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5210806