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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1526479036
@@ Property / OpenAlex ID: W1526479036 / rank @@
+Normal rank
@@ 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