cam a22 4500 257282297 CHVBK 20201209093402.0 090715s2009 gw ||||| |||| 10 |eng d 978-3-642-02347-7 (RERO)R005127962 RERO geucui s1in rero Rewriting techniques and applications 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings Ralf Treinen, (ed.) RTA 2009 Berlin Springer 2009 390 p. ill. txt rdacontent n rdamedia nc rdacarrier Theoretical computer science and general issues. Sublibrary of Lecture notes in computer science 5595 Variante du titre: RTA 2009 Réécriture, Systèmes de (informatique) (RERO)A021029944 rero Actes de congrès (RERO)A021105530 rero Treinen Ralf (IDREF)109896017 International Conference on Rewriting Techniques and Applications (20 2009 Brasília) (RERO)A016571373 Lecture notes in computer science 5595 (RERO)000078255 BK020800 XK020000 XK020000 RERO RE61083 RE61083 RE610830006 F.4.2 REW 20 RERO 490 1- Theoretical computer science and general issues. Sublibrary of Lecture notes in computer science 5595 RERO 700 1- Treinen Ralf (IDREF)109896017 RERO 711 2- International Conference on Rewriting Techniques and Applications (20 2009 Brasília) (RERO)A016571373 RERO 830 -- Lecture notes in computer science 5595 (RERO)000078255 SWISSBIB 168643162