Some results on equational unification (Q6488537): Difference between revisions

@@ Property / cites work @@
+Complexity of matching problems
@@ Property / cites work: Complexity of matching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent and Other Types of Thue Systems
@@ Property / cites work: Confluent and Other Types of Thue Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939790
@@ Property / cites work: Q3939790 / rank @@
+Normal rank
@@ Property / cites work @@
+On equational theories, unification, and (un)decidability
+Normal rank
@@ Property / cites work @@
+Q3338216
@@ Property / cites work: Q3338216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703287
@@ Property / cites work: Q3703287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidability results for non-monadic Church-Rosser Thue systems
+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 @@
+Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
+Normal rank
@@ Property / cites work @@
+Q3338215
@@ Property / cites work: Q3338215 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank