Mostrar el registro sencillo del ítem

A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements

dc.creatorRocha, Camilo
dc.creatorMeseguer, José
dc.date2007-12-01
dc.date.accessioned2022-03-03T19:57:00Z
dc.date.available2022-03-03T19:57:00Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1038
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13813
dc.descriptionWe present an equational decision procedure a la Dijkstra & Scholten for the 'Syllogistic Logic with Complements'.Keywords: Syllogistic Logic with Complements, Decision Procedure, Equational Logic, Rewriting Logic, Maude.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/1038/1011
dc.rightsDerechos de autor 2007 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 8 No. 2 (2007): Revista Colombiana de Computación (Julio-Diciembre); 101-130en-US
dc.sourceRevista Colombiana de Computación; Vol. 8 Núm. 2 (2007): Revista Colombiana de Computación (Julio-Diciembre); 101-130es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleA rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complementses-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