Polygraphs of finite derivation type

Yves Guiraud, Philippe Malbos. Polygraphs of finite derivation type. Mathematical Structures in Computer Science, 28(2):155-201, 2018. [doi]

Abstract

Abstract is missing.