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

Luis Ignacio Lizcano-Bueno

doi:10.22463/0122820X.612

Ver / Descargar

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

Más formatos de cita

ACM ACS APA ABNT Chicago Harvard IEEE MLA Turabian Vancouver

Descargar cita

Endnote/Zotero/Mendeley (RIS) BibTeX

Publicado: Jun 18, 2016

Doi

https://doi.org/10.22463/0122820X.612

Dimensions

PlumX

Número

Vol. 4 Núm. 1 (1999)

Sección

Artículos

Términos de la licencia (VER)

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

Luis Ignacio Lizcano-Bueno

Universidad Fransisco de Paula Santander

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.

Datos de publicación

Este artículo

Otros artículos

Revisores/as por pares

0

2.4

Perfil evaluadores/as N/D

Declaraciones de autoría

Disponibilidad de datos

N/D

16%

Financiación externa

No

32%

Conflictos de intereses

N/D

11%

Esta revista

Otras revistas

Artículos aceptados

8%

33%

Días para la publicación

25

145

Indexado en

GS

Editor y equipo editorial: Perfiles
Sociedad académica: Universidad Francisco de Paula Santander
Editorial: Universidad Francisco de Paula Santander

Biografía del autor/a (VER)

Luis Ignacio Lizcano-Bueno, Universidad Fransisco de Paula Santander

Profesor

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.

Citaciones