Articles liés à Term Rewriting & All That
Synopsis
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Revue de presse
'... a welcome and important addition to the library of any researcher interested in theoretical computer science. It provides a thorough grounding in the subject in a clear style, and gives plenty of indications of further directions, including an extensive bibliography'. The Computer Journal
'... a well-balanced textbook ... presenting the subject in a unified and systematic manner.' H. Herre, Zentralblatt MATH
'... a highly welcome addition to the literature on term rewriting ... It is very readable, well written and likeable book. it should be of great value to students and researchers alike.' Jan Willem Klop, Journal of Functioning Programming
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition2008
- ISBN 10 0521779200
- ISBN 13 9780521779203
- ReliureBroché
- Langueanglais
- Nombre de pages316
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 67,53
EUR 7,34 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Term Rewriting & All That
Image d'archives
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Ancien ou d'occasion
Soft cover
Vendeur : MostlyAcademic, Berrima, NSW, Australie
Évaluation du vendeur 4 sur 5 étoiles
Soft cover. Etat : As New. N° de réf. du vendeur ABE-1669102990890
Quantité disponible : 1 disponible(s)
Image d'archives
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Ancien ou d'occasion
Soft cover
Vendeur : MostlyAcademic, Berrima, NSW, Australie
Évaluation du vendeur 4 sur 5 étoiles
Soft cover. Etat : As New. N° de réf. du vendeur ABE-1679991119292
Quantité disponible : 1 disponible(s)
Image d'archives
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 548. N° de réf. du vendeur C9780521779203
Quantité disponible : Plus de 20 disponibles
Image d'archives
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521779203_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Term Rewriting and All That
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 314 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521779200
Quantité disponible : 1 disponible(s)
Image d'archives
Term Rewriting & All That
Edité par
Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521779203
Quantité disponible : 10 disponible(s)
Image d'archives
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521779203
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Term Rewriting and All That
Edité par
Cambridge University Press, 2006
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercise. N° de réf. du vendeur 446946829
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 701643-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Term Rewriting and All That
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 701643
Quantité disponible : Plus de 20 disponibles