Termination orders for 3-polygraphs
范畴论
2007-05-23 v1 计算机科学中的逻辑
摘要
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
引用
@article{arxiv.math/0612084,
title = {Termination orders for 3-polygraphs},
author = {Yves Guiraud},
journal= {arXiv preprint arXiv:math/0612084},
year = {2007}
}
备注
4 pages, 12 figures