A refined version of general E-unification

DOI10.1007/3-540-58156-1_48zbMath1433.68567OpenAlexW1833666738MaRDI QIDQ5210804

Rolf Socher-Ambrosius

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_48

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Lazy narrowing: Strong completeness and eager variable elimination (extended abstract)

Cites Work

• An improved general \(E\)-unification method
• Complete sets of transformations for general E-unification

This page was built for publication: A refined version of general E-unification