RT Conference Proceedings
T1 Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
A1 Durán, Francisco
A1 Eker, Steven
A1 Escobar, Santiago
A1 Martí-Oliet, Narciso
A1 Meseguer, José
A1 Talcott, Carolyn
K1 Algoritmos computacionales
AB This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in order-sorted unification modulo a finite variant theory, and (iv) symbolic reachability modulo a finite variant theory.
YR 2017
FD 2017
LK http://hdl.handle.net/10630/14391
UL http://hdl.handle.net/10630/14391
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026