Theory and practice of minimal modular higher-order E-unification

DOI10.1007/3-540-58156-1_47zbMath1433.68558OpenAlexW1520430498MaRDI QIDQ5210803

No author found.

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_47

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• A unification algorithm for typed \(\overline\lambda\)-calculus
• Complete sets of transformations for general E-unification
• Higher-order unification revisited: Complete sets of transformations
• Modular higher-order E-unification