Opening book details…
Can I read Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings on EtoBox?
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings by Henk Barendregt (auth.), Aart Middeldorp (eds.) is a nonfiction available to read on EtoBox.
What is Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings about?
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Who reads Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Henk Barendregt (auth.), Aart Middeldorp (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2001
- Language
- EN
- ISBN
- 9783540451273
- Category
- nonfiction
- Subjects
- Mathematics, Science, Language Learning
More by Henk Barendregt (auth.), Aart Middeldorp (eds.)
Browse all works by Henk Barendregt (auth.), Aart Middeldorp (eds.)
Similar books
- Rewriting Techniques And Applications: 13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings (lecture Notes In Computer Science) — Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (2002)
- Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science) — Patrick Lincoln (auth.), Robert Nieuwenhuis (2003)
- Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings (Lecture Notes in Computer Science, 1833) — José Meseguer (auth.), Leo Bachmair (2000)
- 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)
- Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science) — J. W. Klop (auth.), Tobias Nipkow (1998)
- Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, the Netherlands, July 8-10, 2013 : proceedings — Leila Amgoud, Henri Prade (auth.), Linda C. van der Gaag (2013)