This Note presents the first known class of termination orders for 3-polygraphs, together with an application.
Cette Note présente la première classe connue d'ordres de terminaison adaptés aux 3-polygraphes, ainsi qu'une application.
Accepted:
Published online:
Yves Guiraud 1
@article{CRMATH_2006__342_4_219_0, author = {Yves Guiraud}, title = {Termination orders for 3-polygraphs}, journal = {Comptes Rendus. Math\'ematique}, pages = {219--222}, publisher = {Elsevier}, volume = {342}, number = {4}, year = {2006}, doi = {10.1016/j.crma.2005.12.019}, language = {en}, }
Yves Guiraud. Termination orders for 3-polygraphs. Comptes Rendus. Mathématique, Volume 342 (2006) no. 4, pp. 219-222. doi : 10.1016/j.crma.2005.12.019. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2005.12.019/
[1] Higher-dimensional word problems with applications to equational logic, Theoret. Comput. Sci., Volume 115 (1993)
[2] Y. Guiraud, Termination orders for 3-dimensional rewriting, J. Pure Appl. Algebra (2004), in press
[3] Towards an algebraic theory of boolean circuits, J. Pure Appl. Algebra, Volume 184 (2003)
Cited by Sources:
Comments - Policy