Q5089010 (Q5089010): Difference between revisions

@@ Property / cites work @@
+Fuzzy unification and generalization of first-order terms over similar signatures
+Normal rank
@@ Property / cites work @@
+\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
+Normal rank
@@ Property / cites work @@
+A modular order-sorted equational generalization algorithm
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Unranked second-order anti-unification
@@ Property / cites work: Unranked second-order anti-unification / rank @@
+Normal rank
@@ Property / cites work @@
+A Variant of Higher-Order Anti-Unification
@@ Property / cites work: A Variant of Higher-Order Anti-Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order pattern anti-unification in linear time
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-unification for unranked terms and hedges
@@ Property / cites work: Anti-unification for unranked terms and hedges / rank @@
+Normal rank
@@ Property / cites work @@
+Functions-as-constructors Higher-order Unification
+Normal rank
@@ Property / cites work @@
+Symbolic reasoning methods in rewriting logic and Maude
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Higher-order term indexing using substitution trees
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Heuristic-Driven Theory Projection: An Overview
@@ Property / cites work: Heuristic-Driven Theory Projection: An Overview / rank @@
+Normal rank