2 datasets found

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

This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit...