Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings by Aart Middeldorp ( ...

Aart Middeldorp: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings.

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht,

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The ...

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, ...

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, ...

Rewriting Techniques and Applications: 12th International Conference, Rta 2001, Utrecht, the Netherlands. By Aart Middeldorp (Editor). $54.99. Add to Wish List.

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, ...

12th International Conference on Rewriting Techniques and Applications (RTA 2001). (RTA 2001). 22-24 May 2001 • Utrecht, The Netherlands. Aart Middeldorp.

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings. ISBN-13: 978-3662199954, ...