Rewriting techniques and applications: 10th: international conference, rta '99, trento, italy, july 2-4, 1999, proceedings
Auteur :
Narendran, Paliath
ISBN :
9783540662013
Date de publication :
16 juin 1999
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
586 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume covers the 10th International Conference on Rewriting Techniques and Applications held in July 1999. It includes such topics as constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting and string rewriting.