Associative unification and symbolic reasoning modulo associativity in Maude

DOI10.1007/978-3-319-99840-4_6MaRDI QIDQ6164537zbMATH OpenOpenAlexWikidataFDO

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

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

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

Recommendations

• Variants, unification, narrowing, and symbolic reachability in Maude 2.6
• Associative-commutative unification
• Built-in variant generation and unification, and their applications in Maude 2.7
• An algebraic approach to unification under associativity and commutativity
• Adventures in associative-commutative unification

Cited in

(8)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• Equational theorem proving modulo
• scientific article; zbMATH DE number 7453112 (Why is no real title available?)
• Symbolic analysis of Maude theories with Narval
• Programming and symbolic computation in Maude
• Variants, unification, narrowing, and symbolic reachability in Maude 2.6
• Optimization of rewrite theories by equational partial evaluation
• Built-in variant generation and unification, and their applications in Maude 2.7

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164537)