Calcul de Réécriture : Fondements et Applications. Thèse de Doctorat d’Université, Université Henri Poincaré - Nancy I (2000)

by H Cirstea