Rewriting Techniques and Applications
Books | Computers / Software Development & Engineering / General
Leo Bachmair
This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions. All current aspects of rewriting are addressed.
AD
![[object Object] icon](/_next/image?url=%2Ficons%2Ficon_amazon.png&w=3840&q=75)
![[object Object] icon](/_next/image?url=%2Ficons%2Ficon_apple.png&w=3840&q=75)
![[object Object] icon](/_next/image?url=%2Ficons%2Ficon_bookshop.png&w=3840&q=75)
![[object Object] icon](/_next/image?url=%2Ficons%2Ficon_thriftbooks.png&w=3840&q=75)
More Details:
Author
Leo Bachmair
Pages
282
Publisher
Springer
Published Date
2006-12-30
ISBN
3540449809 9783540449805