RTA
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
ISBN:9783540421177在线阅读本书 This book constitutes the refereed proceedings of the 12th International Confer...
Rewriting Techniques and Applications 12 th International Conference RTA 2001 Utrecht The Netherlands May 22 24 2001 Proceedings