@dblp

Confluence of the Chinese Monoid.

, und . The Art of Modelling Computational Systems, Volume 11760 von Lecture Notes in Computer Science, Seite 206-220. Springer, (2019)

Links und Ressourcen

Tags