Term rewriting and applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, proceedings /

af International Conference on Rewriting Techniques and Applications, Pfenning, Frank.
Udgivet 2006.

Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /

af International Conference on Rewriting Techniques and Applications, Baader, Franz.
Udgivet 2007.

Rewriting techniques and applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings /

af International Conference on Rewriting Techniques and Applications, Treinen, Ralf.
Udgivet 2009.

Rewriting techniques and applications 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /

af International Conference on Rewriting Techniques and Applications, Voronkov, Andrei.
Udgivet c2008