Term Rewriting and All That

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Programming, Programming Languages, General Computing
Cover of the book Term Rewriting and All That by Franz Baader, Tobias Nipkow, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Franz Baader, Tobias Nipkow ISBN: 9781316098752
Publisher: Cambridge University Press Publication: August 5, 1999
Imprint: Cambridge University Press Language: English
Author: Franz Baader, Tobias Nipkow
ISBN: 9781316098752
Publisher: Cambridge University Press
Publication: August 5, 1999
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Radiogenic Isotope Geochemistry by Franz Baader, Tobias Nipkow
Cover of the book Principles of Photonics by Franz Baader, Tobias Nipkow
Cover of the book American Gridlock by Franz Baader, Tobias Nipkow
Cover of the book Best Practice in Labour and Delivery by Franz Baader, Tobias Nipkow
Cover of the book The Labor-Managed Firm by Franz Baader, Tobias Nipkow
Cover of the book Institutional Origins of Islamist Political Mobilization by Franz Baader, Tobias Nipkow
Cover of the book Interactional Linguistics by Franz Baader, Tobias Nipkow
Cover of the book United States Migrant Interdiction and the Detention of Refugees in Guantánamo Bay by Franz Baader, Tobias Nipkow
Cover of the book Households as Corporate Firms by Franz Baader, Tobias Nipkow
Cover of the book The Cambridge Handbook of Consumer Privacy by Franz Baader, Tobias Nipkow
Cover of the book Practical Astronomy with your Calculator by Franz Baader, Tobias Nipkow
Cover of the book Model Building in Economics by Franz Baader, Tobias Nipkow
Cover of the book Africa and Africans in the Making of the Atlantic World, 1400–1800 by Franz Baader, Tobias Nipkow
Cover of the book The Global Cold War by Franz Baader, Tobias Nipkow
Cover of the book English Civil Justice after the Woolf and Jackson Reforms by Franz Baader, Tobias Nipkow
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy