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

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) 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

(5)

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

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)