Modular higher-order E-unification (Q5055760): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-53904-2_97
+Normal rank
@@ Property / OpenAlex ID @@
+W1494221669
@@ Property / OpenAlex ID: W1494221669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205074
@@ Property / cites work: Q4205074 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching - a special case of unification?
@@ Property / cites work: Matching - a special case of unification? / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank
@@ Property / cites work @@
+An overview of LP, the Larch Prover
@@ Property / cites work: An overview of LP, the Larch Prover / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Q3786019
@@ Property / cites work: Q3786019 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\bar\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Combining matching algorithms: The regular case
@@ Property / cites work: Combining matching algorithms: The regular case / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+Q3785922
@@ Property / cites work: Q3785922 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in combinations of collapse-free regular theories
+Normal rank
@@ Property / cites work @@
+Unification in a combination of equational theories: an efficient algorithm
+Normal rank
@@ Property / cites work @@
+Higher order E-unification
@@ Property / cites work: Higher order E-unification / rank @@
+Normal rank