Term rewriting systems
Auteur :
Terese
Éditeur :
Cambridge University Press
ISBN :
9780521391153
Date de publication :
20 mars 2003
Dimensions :
23,6 x 15,8 x 4,7 cm
Poids :
1640 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.