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

Saved in:
Bibliographic Details
Meeting name:International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain)
Imprint:Berlin ; New York : Springer, 2003.
Description:xi, 514 p. : fig., tab. ; 24 cm.
Language:English
Series:Lecture notes in computer science 2706
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/4888850
Hidden Bibliographic Details
Other authors / contributors:Nieuwenhuis, Robert.
ISBN:3540402543 (pbk. : acid-free paper)
Notes:Includes bibliographical references and index.