Monadic simultaneous rigid E-unification and related problems (Q4571948): Difference between revisions

@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3129297
@@ Property / cites work: Q3129297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838767
@@ Property / cites work: Q3838767 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of simultaneous rigid E-unification
+Normal rank
@@ Property / cites work @@
+Monadic simultaneous rigid E-unification and related problems
+Normal rank
@@ Property / cites work @@
+Complexity of Makanin's algorithm
@@ Property / cites work: Complexity of Makanin's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385527
@@ Property / cites work: Q4385527 / rank @@
+Normal rank
@@ Property / cites work @@
+Special cases and substitutes for rigid \(E\)-unification
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank