Finite derivation type property on the chinese monoid
Özet
Squier introduced the notion finite derivation type which is a combinatorial condition satisfied by certain rewriting systems. The main result in this paper states that the Chinese monoid has finite derivation type property.
