Compilation of term rewriting systems
By: Jasper Kamperman
Contributors: Universiteit van Amsterdam
Publisher: J. Kamperman
Published: 1996
Place of publication: [s.l.]
Language: eng
Number of pages: 183
Notes: Thesis (doctoral)--Universiteit van Amsterdam, 1996.

Bibliogr. : p. 173-180.

Résumé en néerlandais.