11 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Vladimir Dotsenko, Pedro Tamaroff
The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to…