A Generic Framework for Higher-Order Generalizations. (Q5089010): Difference between revisions

@@ label / en / label / en @@
+A Generic Framework for Higher-Order Generalizations.
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.FSCD.2019.10
+Normal rank
@@ Property / OpenAlex ID @@
+W2953744622
@@ Property / OpenAlex ID: W2953744622 / rank @@
+Normal rank
@@ Property / title @@
+A Generic Framework for Higher-Order Generalizations. (English)
+Normal rank