Rewriting Techniques and Applications Vol. 137 : Proceedings of the 9th International Conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998
by T. Nipkow, G. Goos, J. Hartmanis, Jan Van Leeuwen Paperback 2001
- Author: T. Nipkow, G. Goos, J. Hartmanis, Jan Van Leeuwen
- ISBN 13: 9783540643012
- ISBN 10: 354064301X
- Publication Year: 2001
- Language: English
Specifications
| Index-10 | 354064301X |
|---|---|
| Index-13 | 9783540643012 |
| Language | English |
✨ Readers also enjoyed...
Types for Proofs and Programs : In…
The Blank Page : A Guide to Organi…