Matteo Acclavio, An introduction to rewriting theory: homological properties of finite convergent systems

Programme