Opening book details…
Can I read Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science, 488) on EtoBox?
Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science, 488) by Ronald V Book; International Conference on Rewriting Techniques and Applications (4 : 1991 : Como) is a nonfiction available to read on EtoBox.
What is Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science, 488) about?
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems. Erscheinungsdatum: 27.03.1991
Who reads Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science, 488)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ronald V Book; International Conference on Rewriting Techniques and Applications (4 : 1991 : Como)
- Publisher
- Not Avail; Springer-Verlag
- Published
- 1991
- Language
- EN
- ISBN
- 9783662181737
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Programming
More by Ronald V Book; International Conference on Rewriting Techniques and Applications (4 : 1991 : Como)
Similar books
- 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)
- 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)
- Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science) — Yoshihito Toyama (auth.), Jürgen Giesl (2005)
- 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: 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)
- Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, ... (Lecture Notes in Computer Science, 2267) — Gianna Reggio Maura Cerioli (2002)