Rewriting Techniques and Applications, 15 conf., RTA 2004
Vincent van Oostrom
This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
