Term rewriting and all that
Auteur :
Baader, Franz / Nipkow, Tobias
Éditeur :
Cambridge University Press
ISBN :
9780521779203
Date de publication :
5 août 1999
Dimensions :
24,2 x 17,0 x 1,8 cm
Poids :
510 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.