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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-63165-8_173
+Normal rank
@@ Property / OpenAlex ID @@
+W1500424608
@@ Property / OpenAlex ID: W1500424608 / rank @@
+Normal rank
@@ 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