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.
Acheter neuf
Afficher cet article
EUR 64,80
EUR 3,44 expédition vers Etats-Unis
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
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-B-017-02144
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 3 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
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190014673
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
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 d'archives
Term Rewriting and All That (Paperback)
Edité par
Cambridge University Press, Cambridge, 1999
ISBN 10 : 0521779200
ISBN 13 : 9780521779203
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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, Grobner 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 (solutions available from ). 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. 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 algebra, unification theory, Grobner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521779203
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
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 & 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 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521779203
Quantité disponible : 10 disponible(s)
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 : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 701643-n
Quantité disponible : Plus de 20 disponibles