Mostrar el registro sencillo del ítem

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

dc.contributor.authorDurán, Francisco
dc.contributor.authorEker, Steven
dc.contributor.authorEscobar, Santiago
dc.contributor.authorMartí-Oliet, Narciso
dc.contributor.authorMeseguer, José
dc.contributor.authorTalcott, Carolyn
dc.date.accessioned2017-07-27T08:53:21Z
dc.date.available2017-07-27T08:53:21Z
dc.date.issued2017
dc.identifier.urihttp://hdl.handle.net/10630/14391
dc.description.abstractThis 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.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectAlgoritmos computacionaleses_ES
dc.subject.otherMaudees_ES
dc.subject.otherRewriting logices_ES
dc.subject.otherUnificationes_ES
dc.subject.otherNarrowinges_ES
dc.subject.otherVariantes_ES
dc.titleBuilt-in Variant Generation and Unification, and Their Applications in Maude 2.7es_ES
dc.typeinfo:eu-repo/semantics/otheres_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.relation.eventtitleJornadas de PROgramación y LEnguajes (PROLE)es_ES
dc.relation.eventplaceSan Cristobal de la Laguna, Tenerifees_ES
dc.relation.eventdate19-21 Julio 2017es_ES
dc.identifier.orcidhttp://orcid.org/0000-0001-5864-8094es_ES
dc.rights.ccby-nc-nd


Ficheros en el ítem

Nombre:
2017PROLE002.pdf
Tamaño:
45.10Kb
Formato:
PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem