Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.
Uloženo v:
Podrobná bibliografie
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- x, 311 s. : il.
- Vydáno
-
Berlin :
Springer,
2004
- Edice
- Lecture notes in computer science ;
v. 3091
- Témata
- Bibliografie
- Obsahuje bibliografie a rejstřík
- ISBN
- 3-540-22153-0
