Rewriting techniques and applications: 8th international conference, rta-97, sitges, spain, june 2-5, 1997 - proceedings
Auteur :
Comon, Hubert
ISBN :
9783540629504
Date de publication :
14 mai 1997
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
505 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes 24 revised papers presented at a conference on rewriting techniques and applications, along with two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented.