Modular termination of basic narrowing and equational unification

DOI10.1093/jigpal/jzq009zbMath1257.68090OpenAlexW2083202090WikidataQ57978157 ScholiaQ57978157MaRDI QIDQ2889572

Santiago Escobar, José Iborra, María Alpuente

Publication date: 8 June 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq009

zbMATH Keywords

terminationmodularityequational unificationbasic narrowing

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Variant-Based Satisfiability in Initial Algebras ⋮ Termination of narrowing revisited

Uses Software

• Maude
• MTT

This page was built for publication: Modular termination of basic narrowing and equational unification