4096069
9783540255963
This volume constitutes the refereed proceedings of the International Conference on Rewriting Techniques and Applications held in 2005. All current issues are addressed, ranging from foundational and methodological issues to applications in various contexts.Giesl, Jürgen is the author of 'Term Rewriting And Applications 16th International Conference, Rta 2005, Nara, Japan, April 19-21, 2005, Proceedings', published 2005 under ISBN 9783540255963 and ISBN 3540255966.
[read more]