Term Rewriting and Applications
Subtitle: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540368359
Subjects: Computer programming; Algorithms