Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27 30, 1996 : proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six s...

Description complète

Détails bibliographiques

Collectivité auteur:	International conference on rewriting techniques and applications :New Brunswick, N. J.
Autres auteurs:	Ganzinger, Harald, 1950-2004 (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1103
Sujets:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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, 7th international conference, RTA-96, New Brunswick, NJ, USA, July 1996, proceedings, Harald Ganzinger (ed.), 1996, New York, Springer, 1 vol. (XI-435 p.), Lecture notes in computer science, 3-540-61464-8 • Rewriting Techniques and Applications, Texte imprimé, 9783662207376