Modular AC unification of higher-order patterns (Q5096303): Difference between revisions

@@ Property / cites work @@
+AC-unification race: The system solving approach, implementation and benchmarks
+Normal rank
@@ Property / cites work @@
+Q4268466
@@ Property / cites work: Q4268466 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Unification in abelian semigroups
@@ Property / cites work: Unification in abelian semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Modular higher-order E-unification
@@ Property / cites work: Modular higher-order E-unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204068
@@ Property / cites work: Q3204068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank