Rewriting techniques and applications: 12th international conference, rta 2001, utrecht, the netherlands, may 22-24, 2001. proceedings: 12th international conference, rta 2001, utrecht, the netherlands, may 22-24, 2001 - proceedings
Auteur :
Middeldorp, Aart
ISBN :
9783540421177
Date de publication :
9 mai 2001
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
532 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text constitutes the proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, The Netherlands, 2001. The 23 full papers and two system descriptions address contemporary aspects of rewriting.