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: |