45 citations · 190 across the 20 of their papers we have counts for
1 paper · 1 filter
Stéphane Gaussent, Zuan Liu, Philippe Malbos
In this article, we introduce a new rewriting method for computing hom-bases of diagrammatic categories. Our approach is based on stratified presentations, obtained by partitioning…