Termination orders for 3-polygraphs - Archive ouverte HAL
Article Dans Une Revue Comptes rendus de l'Académie des sciences. Série I, Mathématique Année : 2006

Termination orders for 3-polygraphs

Yves Guiraud

Résumé

This note presents the first known class of termination orders for 3-polygraphs, together with an application.
Fichier principal
Vignette du fichier
cras1.pdf (61.08 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00092196 , version 1 (08-09-2006)

Identifiants

Citer

Yves Guiraud. Termination orders for 3-polygraphs. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2006, 342(4), pp.219-222. ⟨10.1016/j.crma.2005.12.019⟩. ⟨hal-00092196⟩
143 Consultations
98 Téléchargements

Altmetric

Partager

More