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
Barra lateral del artículo
PDF
FLIP
Cómo citar
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
Número
Sección
Artículos
Términos de la licencia (VER)
Contenido principal del artículo
Resumen
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.
Descargas
Los datos de descargas todavía no están disponibles.
Detalles del artículo
Referencias
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.
