@dblp

Confluence of the Chinese Monoid.

, and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 206-220. Springer, (2019)

Links and resources

Tags