Confluence of algebraic rewriting systems

Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
January, 2022
Cite DOI URL
Type
Journal article
Publication
Math. Structures Comput. Sci.