Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702): Difference between revisions

@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
+Normal rank
@@ Property / cites work @@
+Combination problems for commutative/monoidal theories or how algebra can help in equational unification
+Normal rank
@@ Property / cites work @@
+Q4264733
@@ Property / cites work: Q4264733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending SLD resolution to equational horn clauses using E-unification
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+A theory of complete logic programs with equality
@@ Property / cites work: A theory of complete logic programs with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The unification hierarchy is undecidable
@@ Property / cites work: The unification hierarchy is undecidable / 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 @@
+Q5677651
@@ Property / cites work: Q5677651 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853703
@@ Property / cites work: Q3853703 / rank @@
+Normal rank