Topological rewriting systems applied to standard bases and syntactic algebras

Autor: Cyrille Chenavier

Publikováno v: Journal of Algebra
Journal of Algebra, Elsevier, In press, 550, pp.410-431. ⟨10.1016/j.jalgebra.2019.12.007⟩
Journal of Algebra, In press, 550, pp.410-431. ⟨10.1016/j.jalgebra.2019.12.007⟩

International audience; We introduce topological rewriting systems as a generalisation of abstract rewriting systems, where we replace the set of terms by a topological space. Abstract rewriting systems correspond to topological rewriting systems for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9372aadb33dce2e0774313aec20a612
https://hal.archives-ouvertes.fr/hal-02355020