Higher-order pattern anti-unification in linear time (Q2362208): Difference between revisions

@@ Property / cites work @@
+A modular order-sorted equational generalization algorithm
+Normal rank
@@ Property / cites work @@
+Bottom-up induction of feature terms
@@ Property / cites work: Bottom-up induction of feature terms / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Library of Anti-unification Algorithms
@@ Property / cites work: A Library of Anti-unification Algorithms / 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 @@
+Nominal Anti-Unification
@@ Property / cites work: Nominal Anti-Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing generalized tries
@@ Property / cites work: Generalizing generalized tries / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-unification Algorithms and Their Applications in Program Analysis
+Normal rank
@@ Property / cites work @@
+E-generalization using grammars
@@ Property / cites work: E-generalization using grammars / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of system \(F\) with subtyping
@@ Property / cites work: An extension of system \(F\) with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751368
@@ Property / cites work: Q2751368 / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
+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 @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
@@ Property / cites work @@
+Higher order generalization and its application in program verification
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+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 @@
+Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
+Normal rank