Aplicación de un sistema de re-escritura a la estructura de grupo

Aplicación de un sistema de re-escritura a la estructura de grupo

Article Sidebar


Ver / Descargar
PDF (Español (España)) FLIP

How to Cite
Lizcano-Bueno, L. I. (2016). Aplicación de un sistema de re-escritura a la estructura de grupo. Respuestas, 4(1), 3–6. https://doi.org/10.22463/0122820X.612
More Citation Formats
Published: Jun 18, 2016
Doi
https://doi.org/10.22463/0122820X.612
Dimensions
PlumX
Issue
Vol. 4 No. 1 (1999)
Section
Artículos
License Terms (SEE)

 

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.

Main Article Content

Luis Ignacio Lizcano-Bueno
Universidad Fransisco de Paula Santander
Abstract
Este documento presenta los coceptos fundamentales de us sistema de re-escritura de una especificacion ecuatorial ,junto con el desarrollo paso a paso de las reglas de re-escritura de la estructura de grupo ,para dos casos especiales.

Downloads

Download data is not yet available.

Article Details

Author Biography (SEE)

Luis Ignacio Lizcano-Bueno, Universidad Fransisco de Paula Santander

Profesor
References

G.BIRKHOFF.On the structure of abstract algebras .Proceedings of Cambridgue Philosophical Society .1.935.

G.HUET.A complete proof of correctness of the Knuth-Bendix completion algorithm.Journal of Computer and Systems Sciencies.1981.

G.PETERSON and M.STICKEL.Complete sets of reductions for some equational theories .Journal of The Association for Computing Machinery .1981.

N.DERSHOWITZ.Termination of Rewriting .Academic Press inc.1987.

N.DERSHOWITZ.Computing with rewrite systems.Infromation and Control.1985.

Y.METIVIER.About the rewriting systems produced by the Knuth-Bendix completion algorithm.Information Processing Letters .1983.

Crossref
Scopus
Google Scholar
Europe PMC
OJS System - Metabiblioteca |