Reviving basic narrowing modulo

DOI10.1007/978-3-030-29007-8_18zbMath1435.68371OpenAlexW2969778797WikidataQ118190332 ScholiaQ118190332MaRDI QIDQ2180237

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)

Related Items (3)

Non-disjoint combined unification and closure by equational paramodulation ⋮ Equational theorem proving modulo ⋮ Terminating non-disjoint combined unification

This page was built for publication: Reviving basic narrowing modulo