Title: Term rewriting and applications: 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /
Authors: Baader, Franz.
Publisher: Springer,
Year: 2007
Subjects: Rewriting systems (Computer science) Congresses.; Computer programming Congresses; Algorithms Congresses