---
title: Termination orders for 3-polygraphs
url: https://www.emergentmind.com/papers/0612084
type: paper
arxiv_id: '0612084'
arxiv_url: https://arxiv.org/abs/0612084
published: '2006-12-04'
categories:
- math.CT
- cs.LO
---

# Termination orders for 3-polygraphs

## Abstract

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