Term rewriting - advanced course
- Författare
- French Spring School of Theoretical Computer Science 1993) (Font Romeux :
- (French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 Hubert Comon, Jean-Pierre Jouannaud (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | cop. 1995 | Tyskland, Berlin, New York | viii, 221 sidor. ill. |