Opening book details…
Can I read Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202) on EtoBox?
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202) by Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.) is a nonfiction available to read on EtoBox.
What is Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202) about?
The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.
Who reads Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1985
- Language
- EN
- ISBN
- 9780387159768
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Linguistics
Other editions & translations
More by Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)
Browse all works by Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)
Similar books
- Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings (Lecture Notes in Computer Science, 308) — J. C. M. Baeten, W. P. Weijland (auth.), S. Kaplan, J. -P. Jouannaud (1988)
- Rewriting Techniques And Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings (lecture Notes In Computer Science) — Robert Nieuwenhuis, José Miguel Rivero (auth.), Paliath Narendran, Michael Rusinowitch (1999)
- Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science, 922) — Heiko Dörr (1995)
- Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5117) — María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (2008)
- Data Mining: Theory, Methodology, Techniques, and Applications (Lecture Notes in Computer Science, 3755) — Geoffrey I. Webb, Damien Brain (auth.), Graham J. Williams, Simeon J. Simoff (2006)
- Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science (3091)) — Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (2004)