Rewriting techniques and applications: 7th international conference, rta-96, new brunswick, nj, usa july 27 - 30, 1996, proceedings: 7th: international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996 - proceedings
Auteur :
Ganzinger, Harald
ISBN :
9783540614647
Date de publication :
1 juil. 1996
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.