Rewriting techniques and applications: 11th international conference, rta 2000, norwich, uk, july 10-12, 2000: proceedings
Auteur :
Bachmair, Leo
ISBN :
9783540677789
Date de publication :
28 juin 2000
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
413 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.