Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
N. Dershowitz (ed.)
Bok Engelsk 1989 International Conference on Rewriting Techniques and Applications
| Utgitt | Berlin : Springer , c1989
|
|---|---|
| Omfang | VII, 578 s. : ill.
|
| Emner | |
| ISBN | 0387510818. - 3540510818
|
