Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications Valencia, Spain
Other Authors:	Nieuwenhuis, Robert
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science. 2706.
Subjects:	Rewriting systems (Computer science) > Congresses. Computer programming > Congresses. Algorithms > Congresses.

Remote Storage