Research Catalog

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

Title
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).
Author
International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain)
Publication
Berlin ; New York : Springer, 2003.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA267 .I555 2003Off-site

Details

Additional Authors
Nieuwenhuis, Robert
Description
xi, 514 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 2706
Uniform Title
Lecture notes in computer science ; 2706.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540402543 (pbk. : acid-free paper)
LCCN
2003052969
OCLC
  • ocm52268865
  • SCSB-4812714
Owning Institutions
Columbia University Libraries