Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)
Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA.