Michele Pagani (Université Paris 7), Algebraic Abstract Rewriting Systems

Schedule