Catégories
> 16-XX Associative rings and algebras > 16SXX Rings and algebras arising under various constructions > 16S15 Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)
16S15 Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)
catégorie vide
