Associative unification and symbolic reasoning modulo associativity in Maude

DOI10.1007/978-3-319-99840-4_6zbMATH Open1517.68158OpenAlexW2890451556WikidataQ123905809 ScholiaQ123905809MaRDI QIDQ6164537FDOQ6164537

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• Equational theorem proving modulo
• Title not available (Why is that?)
• Symbolic analysis of Maude theories with Narval
• Variants, unification, narrowing, and symbolic reachability in Maude 2.6
• Programming and symbolic computation in Maude
• 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)