A Generic Framework for Higher-Order Generalizations.

DOI10.4230/LIPICS.FSCD.2019.10MaRDI QIDQ5089010zbMATH OpenOpenAlexFDO

Authors David M. Cerna, Temur Kutsia

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)

Recommendations

• A variant of higher-order anti-unification
• Higher-order pattern anti-unification in linear time
• Higher-order equational pattern anti-unification
• Higher-order pattern generalization modulo equational theories
• scientific article; zbMATH DE number 1301764

Cites work

• \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A modular order-sorted equational generalization algorithm
• A variant of higher-order anti-unification
• Anti-unification for unranked terms and hedges
• Functions-as-constructors Higher-order Unification
• Fuzzy unification and generalization of first-order terms over similar signatures
• Heuristic-driven theory projection: an overview
• Higher-order pattern anti-unification in linear time
• Higher-order term indexing using substitution trees
• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Inductive Logic Programming
• Symbolic reasoning methods in rewriting logic and Maude
• Unranked second-order anti-unification

Cited in

(12)

• Anti-unification and the theory of semirings
• scientific article; zbMATH DE number 1615238 (Why is no real title available?)
• Generalized coiteration schemata
• Abduction of generalizations
• scientific article; zbMATH DE number 4047177 (Why is no real title available?)
• scientific article; zbMATH DE number 139626 (Why is no real title available?)
• scientific article; zbMATH DE number 1761428 (Why is no real title available?)
• A generalization of the Routley-Meyer semantic framework
• Higher-order pattern generalization modulo equational theories
• One or nothing: anti-unification over the simply-typed lambda calculus
• Equational generalization problems with atom-variables
• Supporting maintenance of formal mathematics with similarity search

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089010)