Associative unification and symbolic reasoning modulo associativity in Maude

DOI10.1007/978-3-319-99840-4_6zbMath1517.68158OpenAlexW2890451556WikidataQ123905809 ScholiaQ123905809MaRDI QIDQ6164537

Francisco Durán, Steven Eker, Carolyn L. Talcott, Santiago Escobar, Narciso Martí-Oliet, José Meseguer

Publication date: 28 July 2023

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-99840-4_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (6)

Optimization of rewrite theories by equational partial evaluation ⋮ Symbolic Analysis of Maude Theories with Narval ⋮ Unnamed Item ⋮ Programming and symbolic computation in Maude ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Equational theorem proving modulo

This page was built for publication: Associative unification and symbolic reasoning modulo associativity in Maude