Termination orders for 3-polygraphs
classification
🧮 math.CT
cs.LO
keywords
orderspolygraphsterminationapplicationclassfirstknownnote
read the original abstract
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.