Mostrar el registro sencillo del ítem

Unification modulo presburger arithmetic and other decidable theories

dc.creatorAyala Rincón, Mauricio
dc.creatorTavares Araújo, Ivan E.
dc.date2001-12-01
dc.date.accessioned2022-03-03T19:57:12Z
dc.date.available2022-03-03T19:57:12Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1112
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13885
dc.descriptionWe present a general uni cation algorithm modulo Presburger Arithmetic for a re- stricted class of modularly speci ed theories where function symbols of the target theory have non arithmetic codomain sorts. Additionally, we comment on conditions guaran-teeing decidability of matching and uni cation problems modulo more general theories than the arithmetic ones, which appear when automated deduction is implemented by combining conditional rewriting techniques and decision algorithms for built-in predi- cates.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1112/1083
dc.rightsDerechos de autor 2001 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 2 No. 2 (2001): Revista Colombiana de Computación (Julio-Diciembre); 1-14en-US
dc.sourceRevista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación (Julio-Diciembre); 1-14es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleUnification modulo presburger arithmetic and other decidable theorieses-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

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

Mostrar el registro sencillo del ítem