Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementat...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
355 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, proceedings, 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Berlin, Springer-Verlag, 1989, 1 vol. (VII-578 p.), Lecture notes in computer science, 3-540-51081-8 • Rewriting Techniques and Applications, Texte imprimé, 9783662181782 |