Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2 5, 1997 : proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talk...

Popoln opis

Bibliografske podrobnosti

Korporativna značnica:	International conference on rewriting techniques and applications :Sitges, Espagne
Drugi avtorji:	Comon-Lundh, Hubert, 1957-...., auteur en informatique (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 1232
Teme:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Rewriting techniques and applications, 8th international conference, RTA-97, Sitges, Spain, June 1997, proceedings, Hubert Comon (ed.), 1997, Berlin, Springer, 1 vol. (XI-338 p.), Lecture notes in computer science, 3-540-62950-5 • Rewriting Techniques and Applications, Texte imprimé, 9783662177600