Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with...

Volledige beschrijving

Bibliografische gegevens

Coauteur:	International conference on rewriting techniques and applications :Tsukuba, Japon
Andere auteurs:	Nipkow, Tobias, 1958-..., informaticien (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 1379
Onderwerpen:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	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, 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998, proceedings, Tobias Nipkow (ed.), 1998, Berlin, Springer, 1 vol. (X-342 p.), Lecture notes in computer science, 3-540-64301-X • Rewriting Techniques and Applications, Texte imprimé, 9783662193471