Login / Signup
Christophe Cordero
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Term Rewriting
Multiscale
Spatial Relationships
Quantifier Free
Top Venues
Exp. Math.
LATA
</>
Publications
</>
Cyrille Chenavier
,
Christophe Cordero
,
Samuele Giraudo
Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems.
Exp. Math.
30 (4) (2021)
Christophe Cordero
A Note with Computer Exploration on the Triangle Conjecture.
LATA
(2019)