Methodes et outils de conception systematique d'algorithmes d'uni dans les theories equationnelles. These de doctorat d'etat en informatique, Universite de Nancy 1 (1985)

by Claude Kirchner