Rewriting techniques and applications 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings /

Corporate Authors: International Conference on Rewriting Techniques and Applications Brasília, Distrito Federal, Brazil)
Other Authors: International Conference on Rewriting Techniques and Applications, Treinen, Ralf., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, ©2009.
Berlin ; New York : [2009]
Physical Description: 1 online resource (xii, 390 pages) : illustrations.
Series: Lecture notes in computer science ; 5595.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available