Termination orders for 3-polygraphs
Category Theory
2007-05-23 v1 Logic in Computer Science
Abstract
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
Cite
@article{arxiv.math/0612084,
title = {Termination orders for 3-polygraphs},
author = {Yves Guiraud},
journal= {arXiv preprint arXiv:math/0612084},
year = {2007}
}
Comments
4 pages, 12 figures