Quadratic normalization in monoids (Q2821823)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quadratic normalization in monoids |
scientific article |
Statements
Quadratic normalization in monoids (English)
0 references
23 September 2016
0 references
normal form
0 references
normalization
0 references
rewriting system
0 references
termination
0 references
convergence
0 references
plactic monoid
0 references
Chinese monoid
0 references
Artin-Tits monoid
0 references
Garside family
0 references
0 references