Preuves de terminaison des systèmes de réécriture associatifs commutatifs
Subtitle: une méthode fondée sur la réécriture elle-même
By: par Isabelle Gnaedig
Contributors: Université de Nancy I.
Publisher: A.N.R.T. Université Pierre Mendès France Grenoble 2
Published: 1986
Place of publication: Grenoble
Language: fre
Notes: Thesis (doctoral)--Université de Nancy I, 1986.