Show simple item record

dc.contributor.authorRocha, Camilo
dc.contributor.authorMeseguer, José
dc.date.accessioned2020-10-27T00:20:58Z
dc.date.available2020-10-27T00:20:58Z
dc.date.issued2007-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/8996
dc.description.abstractWe 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.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1038/1011
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1038
dc.rightsDerechos de autor 2007 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.sourceRevista Colombiana de Computación; Vol. 8 Núm. 2 (2007): Revista Colombiana de Computación; 101-130
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleUn procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
dc.title.translatedA rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovations
dc.subject.keywordsComputer science
dc.subject.keywordsTechnology development
dc.subject.keywordsSystems engineering
dc.subject.keywordsInvestigations
dc.subject.keywordsInformation and communication technologies
dc.subject.keywordsICT's
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNAB
dc.type.hasversionInfo:eu-repo/semantics/publishedVersioneng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.identifier.repourlrepourl:https://repositorio.unbosque.edu.co
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International