34 citations · 144 across the 66 of their papers we have counts for
1 paper · 1 filter
Pablo Arrighi, Gilles Dowek
We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can repla…