Termination orders for 3-polygraphs
Résumé
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
Loading...
Article Dans Une Revue
Comptes rendus de l'Académie des sciences. Série I, Mathématique
Année : 2006
Yves Guiraud : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00092196
Soumis le : vendredi 8 septembre 2006-16:15:55
Dernière modification le : jeudi 14 mars 2024-03:08:22
Archivage à long terme le : jeudi 20 septembre 2012-10:21:57
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⟩
Collections
130
Consultations
76
Téléchargements