TY - RPRT TI - Topological rewriting systems applied to standard bases and syntactic algebras AU - Cyrille Chenavier PY - 2019 UR - https://arxiv.org/abs/1907.06394 ID - 1907.06394 ER -