This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993. This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.
Term Rewriting
and over one million other books are available for Amazon Kindle.
Learn more
| ||||||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Let T be the set of all terms over some vocabulary. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
controlled rewriting systems, constrained rewrite rule, undecidable word problem, thue systems, class rewrite system, first multiplicand, completion modulo, irreducible descendants, dependence alphabet, ordered rewriting, equational formula, class rewriting, rewrite proof, constrained equalities, critical pairs, rewriting modulo, completion algorithm, monoidal category, critical equations, cartesian category, finite maps, point collinear, automatic groups, term rewriting systems, same normal form Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Academic Press, Trudy Mat, International Conference, Berlin-Heidelberg-New York, Symbolic Logic, University of Illinois, Alair Pereira, Notes Comput, Systems Theory, Abstract Algebra, Computational Problems, Confluent String Rewriting, International Workshop, The Coxeter New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Let T be the set of all terms over some vocabulary. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
controlled rewriting systems, constrained rewrite rule, undecidable word problem, thue systems, class rewrite system, first multiplicand, completion modulo, irreducible descendants, dependence alphabet, ordered rewriting, equational formula, class rewriting, rewrite proof, constrained equalities, critical pairs, rewriting modulo, completion algorithm, monoidal category, critical equations, cartesian category, finite maps, point collinear, automatic groups, term rewriting systems, same normal form Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Academic Press, Trudy Mat, International Conference, Berlin-Heidelberg-New York, Symbolic Logic, University of Illinois, Alair Pereira, Notes Comput, Systems Theory, Abstract Algebra, Computational Problems, Confluent String Rewriting, International Workshop, The Coxeter New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 37
books:
See all 37 books this book cites
- Rewriting Techniques and Applications by Author Unknown on 5 pages
- Confluent String Rewriting (E a T C S Monographs on Theoretical Computer Science) by Matthias Jantzen on page 92, page 126, and page 134
- Computational Logic: Essays in Honor of Alan Robinson by Jean-Louis Lassez in Front Matter, and page 72
- Principles and Practice of Constraint Programming by Vijay A. Saraswat on page 72
- Numerical Integration: on Advanced Computer Systems (Lecture Notes in Computer Science) by Arnold R. Krommer in Back Matter
See all 37 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
