Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France.