Unification in commutative theories (Q582071): Difference between revisions

@@ Property / cites work @@
+Unification in varieties of idempotent semigroups
@@ Property / cites work: Unification in varieties of idempotent semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative idempotent monoids
@@ Property / cites work: Unification in commutative idempotent monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5564342
@@ Property / cites work: Q5564342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338216
@@ Property / cites work: Q3338216 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of unifiers and matchers in equational theories
+Normal rank
@@ Property / cites work @@
+Q3703287
@@ Property / cites work: Q3703287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731806
@@ Property / cites work: Q5731806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / 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 @@
+An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3882586
@@ Property / cites work: Q3882586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673071
@@ Property / cites work: Q3673071 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270631
@@ Property / cites work: Q3270631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723808
@@ Property / cites work: Q4723808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219154
@@ Property / cites work: Q3219154 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159542
@@ Property / cites work: Q4159542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5646951
@@ Property / cites work: Q5646951 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725721
@@ Property / cites work: Q4725721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707399
@@ Property / cites work: Q3707399 / rank @@
+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 @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank