Conditional Narrowing Modulo in Rewriting Logic and Maude

DOI10.1007/978-3-319-12904-4_4zbMath1367.68123OpenAlexW42989434WikidataQ123905824 ScholiaQ123905824MaRDI QIDQ2945131

Narciso Martí-Oliet, Isabel Pita, Miguel Palomino, Luis Antonio Aguirre

Publication date: 9 September 2015

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12904-4_4

zbMATH Keywords

reachabilityunificationnarrowingrewriting logicMaudemembership equational logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Sentence-normalized conditional narrowing modulo in rewriting logic and Maude ⋮ Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto

This page was built for publication: Conditional Narrowing Modulo in Rewriting Logic and Maude