Isabelle Gnaedig

• Preuves de terminaison des systèmes de réécriture associatifs commutatifs