TY  - RPRT
TI  - Topological closure of formal power series ideals and application to topological rewriting theory
AU  - Cyrille Chenavier
AU  - Thomas Cluzeau
AU  - Adya Musson-Leymarie
PY  - 2024
DO  - 10.1016/j.jsc.2024.102416
UR  - https://arxiv.org/abs/2402.05511
ID  - 2402.05511
ER  -