|You are here: Home / Shop / Product Detail Page|
Term Rewriting and All That (Hardback)
"This is the first English language textbook offering 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, and Gröbner bases." — From the back cover
Need More Info?Please contact us if you've got questions about this product.
VERY GOOD: This book is in very good condition, showing only slight signs of use and wear.
Continued from the back cover: “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 efficient Pascal programs are developed. The book contains many examples and over 180 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, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.”
- Motivating Examples
- Abstract Reduction Systems
- Universal Algebra
- Equational Problems
- Gröbner Bases and Buchberger’s Algorithm
- Combination Problems
- Equational Unification
- Ordered Sets
- A Bluffer’s Guide to ML
The textbook concludes with “Bibliography” and “Index.”
- Computer Science
- Baader, Franz and Tobias Nipkow
- Cambridge University Press
- Publish Date:
- Weight (pounds):
- Dimensions (W”xL”xH”):
- Grade Level:
Products related to "Term Rewriting and All That (Hardback)"
"The Harris and Stocker Handbook of Mathematics and Computation Science is a complete desk-top reference for working scientists, engineers, and students. It serves as a veritable math toolbox for rapid access to a wealth of mathematics information for everyday use in problem solving, homework, examinations, etc." — From the back cover
"The game industry is a powerful and driving force in the evolution of computer technology. As the capabilities of personal computers, peripheral hardware, and game consoles have grown, so has the demand for high quality information about the algorithms, tools, and descriptions needed to take advantage of this new technology. This book is part of the series that covers the state of the art in real-time 3D.
"An hour of a programmer's time often costs more than the price of a book. By this measure, you hold a volume potentially worth thousands of dollars. That it can be purchased for a fraction of this cost I consider a modern miracle. The amount of information crammed into this book is incredible." — Eric Haines, co-author of Real-Time Rendering
"This book is an introduction to modern logic, but it is quite different from other introductory books on the subject." — From the back cover
"Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics." — From the back cover
"Catalan numbers crop up in chess boards, computer programs, and even train tracks. This comprehensive text presents a clear introduction to one of the truly fascinating topics in mathematics." — From the back cover
Quaternions and Rotation Sequences: A Primer with Applications to Orbits, Aerospace, and Virtual Reality (Hardback)
"Ever since the Irish mathematician William Rowan Hamilton introduced quaternions in the nineteenth century—a feat he celebrated by carving the founding equations into a stone bridge—mathematicians and engineers have been fascinated by these mathematical objects." — From the back cover
"This book is complemented by a Web site containing software programs and projects that help to further illustrate the material described within." — From the back cover
"Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry. It can be considered the common foundation of many other geometric disciplines like Euclidean geometry, hyperbolic and elliptic geometry or even relativistic space-time geometry. This book offers a comprehensive introduction to this fascinating field and its applications." — From the back cover
"This textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems." — From the back cover
"It is especially important to give meaning to the lessons, providing a broader base for the memory. Relate a skill to real life—money to earnings and allowance, averages to sports scores." — Kathryn Stout, B.S.Ed., M.Ed., Author
"Frank Schaffer's Algebra for Everyday is filled with a lot of handy, stimulating activities students can complete to learn some valuable algebra skills." — Introduction
"Algebra is not difficult. Algebra is just different." — John Saxon
"The text is designed to introduce some of the basic concepts and techniques of linear algebra and to make them accessible to freshmen and sophomores, many of whom are not mathematics majors." — Paul C. Shields, Author, 1967
"The challenge and responsibility of modern engineering practice demand a high level of creative activity which, in turn, requires the support of strong analytical capability. The subject of engineering mechanics, which includes statics and dynamics, constitutes one of the cornerstones of analytical capability, and all engineers should have a basic background in this field of study." — J. L. Meriam, Author
"The Volume Library, which is revised and updated annually, was designed for interested, well-informed people—students and adults who need an authoritative reference book for their home book-shelves, and parents who want to keep abreast of the subjects their children are studying in school."—Preface
Founded in 1958, CliffsNotes (originally Cliff's Notes) provides useful summaries for hundreds of items from classical literature to science and math. Although helpful in their subject matter, they are no substitute for reading the real book.
"This updated version includes an increased emphasis on study and test preparation skills, increased attention to geometric concepts, and real-life applications." — K. Elayn Martin-Gay, Author, in the Preface
"Our goal, quite simply, is to help today's students both learn and retain mathematical concepts. To achieve this goal, we feel that we must prepare developmental mathematics students for the transition from 'skills-oriented' elementary and intermediate algebra courses to more 'concept-oriented' college-level mathematics courses. This requires that we teach these same students critical thinking skills: to reason mathematically, to communicate mathematically, and to identify and solve mathematical problems." — The authors in the Preface (page xiii)
This book was written "to provide a solid foundation in algebra for students who might have had no previous experience in algebra." This is a college textbook, which may also be used by an advanced high school student.