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
|