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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01195536
+Normal rank
@@ Property / OpenAlex ID @@
+W2004460530
@@ Property / OpenAlex ID: W2004460530 / rank @@
+Normal rank