Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings /

Saved in:
Bibliographic Details
Meeting name:International Conference on Term Rewriting and Applications (16th : 2005 : Nara, Japan)
Imprint:Berlin ; New York : Springer, c2005.
Description:xiii, 515 p. : ill. ; 24 cm.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 3467
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5629935
Hidden Bibliographic Details
Varying Form of Title:RTA 2005
Other authors / contributors:Giesl, Jürgen.
ISBN:3540255966
9783540255963
Notes:Includes bibliographical references and index.