Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
Henk Barendregt (auth.), Aart Middeldorp (eds.)This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
年:
2001
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
368
ISBN 10:
3540421173
ISBN 13:
9783540421177
系列:
Lecture Notes in Computer Science 2051
文件:
PDF, 2.22 MB
IPFS:
,
english, 2001
因版权方投诉,本书无法下载