2026-06-01T10:17:21Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/143912026-02-03T12:28:40Zcom_10630_2254col_10630_37959

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 Durán, Francisco Eker, Steven Escobar, Santiago Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn Algoritmos computacionales 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. 2017-07-27T08:53:21Z 2017-07-27T08:53:21Z 2017 conference output http://hdl.handle.net/10630/14391 http://orcid.org/0000-0001-5864-8094 eng Jornadas de PROgramación y LEnguajes (PROLE) San Cristobal de la Laguna, Tenerife 19-21 Julio 2017 open access by-nc-nd