Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
Vincent van Oostrom (ed.)
Bok Engelsk 2004 International Conference on Rewriting Techniques and Applications
Utgitt | Berlin : Springer , c2004
|
---|---|
Omfang | X, 311 s. : ill.
|
Emner | |
ISBN | 3540221530
|