TY  - CPAPER
AU  - Durán, Francisco 
AU  - Eker, Steven 
AU  - Escobar, Santiago 
AU  - Martí Oliet, Narciso
AU  - Meseguer, José 
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Talcott, Carolyn 
A2  - Blanchette, Jasmin 
A2  - Kovács, Laura 
A2  - Pattinson, Dirk 
PY  - 2022
DO  - 10.1007/978-3-031-10769-6_31
SN  - 9783031107689
SN  - 9783031107696
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/94853
AB  - Equational unification and matching are fundamental mechanisms in many automated deduction applications. Supporting them efficiently for as wide as possible a class of equational theories, and in a typed manner supporting type hierarchies, benefits...
LA  - eng
KW  - Symbolic reachability
KW  - Rewriting logic
KW  - Narrowing
TI  - Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
TY  - conference paper
ER  -