Reviving basic narrowing modulo

DOI10.1007/978-3-030-29007-8_18zbMATH Open1435.68371OpenAlexW2969778797WikidataQ118190332 ScholiaQ118190332MaRDI QIDQ2180237FDOQ2180237

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

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

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)

Cited In (5)

• Modular termination of basic narrowing and equational unification
• Non-disjoint combined unification and closure by equational paramodulation
• Equational theorem proving modulo
• Terminating non-disjoint combined unification
• Title not available (Why is that?)

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)