Term rewriting and all that
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some important and closely connected subjects: universal alg...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Cambridge ; New York :
Cambridge University Press
1998.
|
| Matèries: | |
| Nota: |
Autre tirage : 1999, 2006 |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Term rewriting and all that, Franz Baader,... and Tobias Nipkow,..., 2012, Cambridge, Cambridge University Press, Electronics Texts for Engineers and Scientists, 1-139-17275-1 |
Orléans - BU Sciences Technologies STAPS
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Magasin | F13733 | Disponible |