Some independence results for equational unification (Q5055843): Difference between revisions

@@ Property / cites work @@
+Q3484358
@@ Property / cites work: Q3484358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching - a special case of unification?
@@ Property / cites work: Matching - a special case of unification? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for second-order monadic terms
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+On two problems related to cancellativity
@@ Property / cites work: On two problems related to cancellativity / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank