Reviving basic narrowing modulo

DOI10.1007/978-3-030-29007-8_18MaRDI QIDQ2180237zbMATH OpenOpenAlexWikidataFDO

Authors Christopher Lynch, Paliath Narendran, Dohan Kim

Publication date 13 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29007-8_18

zbMATH Keywords

\(E\)-unificationbasic narrowingfinite variant property

Mathematics Subject Classification ID

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

Recommendations

• Modular termination of basic narrowing and equational unification
• Modular Termination of Basic Narrowing
• On modularity in term rewriting and narrowing
• Completeness results for basic narrowing
• Variant narrowing and equational unification

Cited in

(6)

• Equational theorem proving modulo
• Terminating non-disjoint combined unification
• Modular termination of basic narrowing and equational unification
• scientific article; zbMATH DE number 2090320 (Why is no real title available?)
• Nominal equational narrowing: rewriting for unification in languages with binders
• Non-disjoint combined unification and closure by equational paramodulation

This page was built for publication: Reviving basic narrowing modulo

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