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

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications Paris, France
Other Authors:	Baader, Franz
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	Lecture notes in computer science. 4533.
Subjects:	Rewriting systems (Computer science) > Congresses. Computer programming > Congresses. Algorithms > Congresses.
Online Access:	Connect to the full text of this electronic book

Remote Storage