Termination orders for 3-polygraphs
arXiv:math/0612084 · doi:10.1016/j.crma.2005.12.019
Abstract
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
4 pages, 12 figures
arXiv:math/0612084 · doi:10.1016/j.crma.2005.12.019
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
4 pages, 12 figures