Show simple item record

dc.contributor.authorBalcázar Navarro, José Luis
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2020-05-28T16:36:03Z
dc.date.available2020-05-28T16:36:03Z
dc.date.issued1988
dc.identifier.citationBalcazar, J. L. "El algoritmo de compleción de Knuth-Bendix". 1988.
dc.identifier.urihttp://hdl.handle.net/2117/189383
dc.description.abstractAn introduction to the confluence and finite termination properties of rewriting systems is presented and also to the Kunth-Bendix completion algorithm is presented.
dc.format.extent21 p.
dc.language.isospa
dc.relation.ispartofseriesLSI-88-25
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshRewriting systems (Computer science)
dc.subject.otherAlgorisme de compleció
dc.titleEl algoritmo de compleción de Knuth-Bendix
dc.typeExternal research report
dc.subject.lemacReescriptura, Sistemes de (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.rights.accessOpen Access
local.identifier.drac28566149
dc.description.versionPostprint (published version)
local.citation.authorBalcazar, J. L.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain