Cover Image

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasl̕ia, Brazil, June 29 - July 1, 2009 Proceedings /

This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasl̕ia, Brazil, during June 29 - July 1, 2009. The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Treinen, Ralf. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5595
Subjects:
Computer science.
Logic design.
Computational complexity.
Algebra > Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-02348-4

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-02348-4

Similar Items