Cyrille Chenavier

Available identifiers

Publication	Date of Publication	Type
Confluence of algebraic rewriting systems	2023-02-28	Paper
Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems	2021-12-16	Paper
Compatible rewriting of noncommutative polynomials for proving operator identities	2021-01-22	Paper
Topological rewriting systems applied to standard bases and syntactic algebras	2020-02-13	Paper
A lattice formulation of the noncommutative F4 procedure	2019-03-27	Paper
Syzygies among reduction operators	2018-10-10	Paper
Generalizations of the associative operad and convergent rewrite systems	2018-08-19	Paper
Reduction operators and completion of rewriting systems	2017-08-24	Paper
Confluence algebras and acyclicity of the Koszul complex	2016-06-14	Paper
Topological closure of formal power series ideals and application to topological rewriting theory	N/A	Paper

This page was built for person: Cyrille Chenavier