About: Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)

À propos de : Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
skos:inScheme	MSC 2010
broader concept	Rings and algebras arising under various constructions
skos:prefLabel	有限生成, 有限表示, 范式(菱形引理, 项重写) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) Generazione finita, presentabilitÃ¡ finita, forme normali (lemma del diamante, riscrittura di termini)
skos:exactMatch	http://msc2010.org/resources/MSC/1991/16S15 http://msc2010.org/resources/MSC/2000/16S15
skos:notation	16S15
is narrower concept of	Rings and algebras arising under various constructions

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata