A Generic Framework for Higher-Order Generalizations.

DOI10.4230/LIPIcs.FSCD.2019.10OpenAlexW2953744622MaRDI QIDQ5089010

Temur Kutsia, David M. Cerna

Publication date: 18 July 2022

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSCD.2019.10

zbMATH Keywords

anti-unificationleast general generalizationtyped \(\lambda\) calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (2)

Anti-unification and the theory of semirings ⋮ Higher-order pattern generalization modulo equational theories

Cites Work

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

This page was built for publication: A Generic Framework for Higher-Order Generalizations.