Termination orders for 3-polygraphs

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This note presents the first known class of termination orders for 3-polygraphs, together with an application.
4 pages, 12 figures

Keywords

Category Theory, Logic in Computer Science, 08A50; 08A70; 16S15; 18C10; 18D05; 68Q70

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/121130

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0612084
 http://arxiv.org/abs/math/0612084
 Comptes-Rendus de l'Academie des Sciences Serie I, Volume 342, Issue 4, 15 February 2006, Pages 219-222
 doi:10.1016/j.crma.2005.12.019

Collections

arXiv