Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two pro...

पूर्ण विवरण

ग्रंथसूची विवरण

निगमित लेखक:	International conference on rewriting techniques and applications :Kaiserslautern
अन्य लेखक:	Hsiang, Jieh, 1954- (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
श्रृंखला:	Lecture notes in computer science 914
विषय:	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 sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	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, 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, proceedings, Jieh Hsiang, ed, Berlin, Springer-Verlag, 1995, 1 vol. (XII-471 p.), Lecture notes in computer science, 3-540-59200-8 • Rewriting Techniques and Applications, Texte imprimé, 9783662163887