Dr. Cyrille Chenavier

Visit Date: 05/11/2020

Home Institution: Institute for Algebra (JKU)


05/11/202010:15 - 11:45Zoom: https://jku.zoom.us/j/94442802092?pwd=ejV1TEFjU0FVWFVYVXpGMithQVQxUT09 Meeting-ID: 944 4280 2092 Passwort: 677177

Topological rewriting systems applied to standard bases and syntactic algebras

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 the discrete topology. We introduce the topological confluence ...