Equational generalization problems with atom-variables

DOI10.1007/978-3-032-07021-0_8MaRDI QIDQ6856421zbMATH OpenFDO

Authors Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß

Publication date 19 February 2026

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_8

zbMATH Keywords

bindersequational theoriesgeneralization problems

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• A Generic Framework for Higher-Order Generalizations.
• A modular order-sorted equational generalization algorithm
• A new approach to abstract syntax with variable binding
• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• Anti-unification and the theory of semirings
• Formalising nominal C-unification generalised with protected variables
• Higher-order pattern anti-unification in linear time
• Higher-order pattern generalization modulo equational theories
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Inductive logic programming at 30
• Learning higher-order logic programs
• Learning programs by learning from failures
• Nominal AC-matching
• Nominal anti-unification
• Nominal anti-unification with atom-variables
• Nominal sets. Names and symmetry in computer science
• Nominal unification
• Nominal unification from a higher-order perspective
• Nominal unification with atom-variables
• Towards Fast Nominal Anti-unification of Letrec-Expressions

This page was built for publication: Equational generalization problems with atom-variables

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