Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherl

出版者:1 edition (2001年6月1日)

作者:Aart Middeldorp

页数:361

出版时间:2001年06月

价格:110.00

装帧:平装

isbn号码:9783540421177

承接 住宅 自建房 室内改造 装修设计 免费咨询 QQ：624617358 一级注册建筑师 亲自为您回答、经验丰富，价格亲民。无论项目大小，都全力服务。期待合作，欢迎咨询！QQ：624617358

在线阅读本书

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.