Rewriting techniques and applications 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings - International Conference on Rewriting Techniques and Applications 2009 : Brasilia, Brazil); Treinen, Ralf; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: 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