Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Rewriting Techniques and Applications (12th : 2001 : Utrecht, Netherlands)
Imprint:	Berlin ; New York : Springer, ©2001.
Description:	1 online resource (xii, 361 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 2051 Lecture notes in computer science ; 2051.
Subject:	Rewriting systems (Computer science) -- Congresses. Computer programming -- Congresses. Algorithms -- Congresses. Algorithms. Computer programming. Rewriting systems (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11072426

Hidden Bibliographic Details
Other authors / contributors:	Middeldorp, Aart, 1963-
ISBN:	9783540451273 3540451277 3540421173 9783540421177
Notes:	Includes bibliographical references and index. Print version record.
Summary:	This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Other form:	Print version: International Conference on Rewriting Techniques and Applications (12th : 2001 : Utrecht, Netherlands). Rewriting techniques and applications. Berlin ; New York : Springer, ©2001 3540421173

Similar Items