Combination techniques for non-disjoint equational theories (Q5210778): Difference between revisions

@@ Property / cites work @@
+Q4264733
@@ Property / cites work: Q4264733 / rank @@
+Normal rank
@@ Property / cites work @@
+Combination techniques and decision problems for disunification
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Combining matching algorithms: The regular case
@@ Property / cites work: Combining matching algorithms: The regular case / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255512
@@ Property / cites work: Q4255512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942654
@@ Property / cites work: Q4942654 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved general E-unification method
@@ Property / cites work: An improved general E-unification method / rank @@
+Normal rank