Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course
Hubert Comon, Jean-Pierre Jouannaud (eds.)
Bok Engelsk 1995 French Spring School of Theoretical Computer Science
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | VIII, 221 s. : ill.
|
| Emner | |
| ISBN | 0387593403. - 3540593403
|
