Deciding the word problem in the union of equational theories. (Q1400706): Difference between revisions

@@ Property / OpenAlex ID @@
+W2030179532
@@ Property / OpenAlex ID: W2030179532 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57383722
@@ Property / Wikidata QID: Q57383722 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Combination of constraint solvers for free and quasi-free structures
+Normal rank
@@ Property / cites work @@
+Deciding the word problem in the union of equational theories.
+Normal rank
@@ Property / cites work @@
+Q4518874
@@ Property / cites work: Q4518874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938605
@@ Property / cites work: Q4938605 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Combining word problems through rewriting in categories with products
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Combining symbolic constraint solvers on algebraic domains
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583066
@@ Property / cites work: Q5583066 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+The join of equational theories
@@ Property / cites work: The join of equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Q3030272
@@ Property / cites work: Q3030272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Unions of non-disjoint theories and combinations of satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / DBLP publication ID @@
+journals/iandc/BaaderT02
@@ Property / DBLP publication ID: journals/iandc/BaaderT02 / rank @@
+Normal rank