Termination orders for 3-polygraphs

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

Data and Resources

Additional Info

Field Value
Source ISSN: 0764-4442
Author Guiraud, Yves
Maintainer CCSD
Last Updated May 7, 2026, 17:13 (UTC)
Created May 7, 2026, 17:13 (UTC)
Identifier hal-00092196
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut de mathématiques de Luminy (IML) ; Université de la Méditerranée - Aix-Marseille 2-Centre National de la Recherche Scientifique (CNRS)
creator Guiraud, Yves
date 2006-05-07T00:00:00
harvest_object_id 7dce0b0b-37aa-47a8-8b35-a137c50a5cc8
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-12T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1016/j.crma.2005.12.019
set_spec type:ART