Termination orders for 3-polygraphs

This Note presents the first known class of termination orders for 3-polygraphs, together with an application. To cite this article: Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006).

RésuméCette Note présente la première classe connue d'ordres de terminaison adaptés aux 3-polygraphes, ainsi qu'une application. Pour citer cet article : Y. Guiraud, C. R. Acad. Sci. Paris, Ser. I 342 (2006).