Résumé
This is the first unified and self-contained introduction,
in English, to the field of term rewriting, a high-level
method for describing the behaviour of computer programs
and for automating mathematical computations and proofs.
The main algorithms are presented both informally and as
programs in the ML language. Many examples and over 170
exercises are provided; each chapter closes with a guide to
the literature. This text can be used for advanced
undergraduate courses or as a professional reference: it is
the first time many of the results have been presented in
book form.
Contents
- Motivating examples
- Abstract reduction systems
- Universal algebra
- Equational Problems
- Termination
- Confluence
- Completion
- Gröbner Bases and Buchberger's Algorithm
- Combination Problems
- Equational Unification
- Extensions
- Appendixes
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Franz Baader, Tobias Nipkow |
| Parution | 26/11/2001 |
| Nb. de pages | 302 |
| Format | 17,4 x 24,6 |
| Couverture | Broché |
| Poids | 629g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521779203 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
