Rewriting techniques and applications : 20th International Conference, RTA 2009, Brasilia, Brazil, June 29-July 1, 2009 : proceedings /
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
New York :
Berlin ; Springer,
2009
|
Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 5595 |
Subjects: |