Image from Amazon.com
Rewriting techniques and applications [electronic resource] : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / edited by Ralf Treinen.
Series: Lecture notes in computer science ; 5595Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: xii, 390 pages : illustrations, digitalISBN:- 9783642023484
- RTA 2009
- Rewriting systems (Computer science) -- Congresses
- Computer programming -- Congresses
- Algorithms -- Congresses
- Discrete Mathematics in Computer Science
- Programming Languages, Compilers, Interpreters
- Symbolic and Algebraic Manipulation
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Logics and Meanings of Programs
- 005.131 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.