Search: MSC category 16S15 ( Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) )
Nothing found.