Topological closure of formal powers series ideals and application to topological rewriting theory
Author:
Cyrille Chenavier,Thomas Cluzeau,Adya Musson-Leymarie
Publication:
Journal of Symbolic Computation
© 2024 The Author(s). Published by Elsevier Ltd.