Complexity of unification problems with associative-commutative operators (Q688565): Difference between revisions

@@ Property / cites work @@
+Unification problems with one-sided distributivity
+Normal rank
@@ Property / cites work @@
+Unification in varieties of idempotent semigroups
@@ Property / cites work: Unification in varieties of idempotent semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of matching problems
@@ Property / cites work: Complexity of matching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703293
@@ Property / cites work: Q3703293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785940
@@ Property / cites work: Q3785940 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching, unification and complexity
@@ Property / cites work: Matching, unification and complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q4739657
@@ Property / cites work: Q4739657 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ Property / cites work @@
+Q5608782
@@ Property / cites work: Q5608782 / rank @@
+Normal rank