Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
E-book
Electronic resources
Record details
- ISBN: 9783540368359
-
Physical Description:
electronic
electronic resource
access
remote
XIII, 415 p. Also available online. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.