Rewriting techniques and applications: 6th international conference, rta-95, kaiserslautern, germany, april 5 - 7, 1995. proceedings: 6th: international conference, rta-95, kaiserslautern, germany, april 5-7, 1995 - proceedings
Auteur :
Hsiang, Jieh
ISBN :
9783540592006
Date de publication :
22 mars 1995
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
684 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference proceedings addresses all contemporary aspects of rewriting techniques and their applications. Nine specific systems are described, and two problem sets are also contributed.