Table of contents

  1. Front Matter
  2. María Alpuente, Santiago Escobar, José Iborra
    Pages 1-16
  3. Emilie Balland, Pierre-Etienne Moreau
    Pages 32-47
  4. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
    Pages 48-62
  5. Rachid Echahed, Nicolas Peltier
    Pages 63-78
  6. Santiago Escobar, José Meseguer, Ralf Sasse
    Pages 79-93
  7. Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
    Pages 110-125
  8. Raúl Gutiérrez, Salvador Lucas, Xavier Urbain
    Pages 126-141
  9. Joe Hendrix, Hitoshi Ohsaki
    Pages 142-156
  10. Florent Jacquemard, Michael Rusinowitch
    Pages 157-171
  11. Adam Koprowski, Johannes Waldmann
    Pages 202-216
  12. Marco Kuhlmann, Joachim Niehren
    Pages 217-231
  13. Jordi Levy, Mateu Villaret
    Pages 246-260
  14. Steffen Mazanek, Mark Minas
    Pages 261-275
  15. Naoki Kobayashi, Hitoshi Ohsaki
    Pages 291-305
  16. Vincent van Oostrom
    Pages 306-320
  17. Christian Sternagel, Aart Middeldorp
    Pages 336-350
  18. René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
    Pages 366-380
  19. Jörg Endrullis, Roel de Vrijer
    Pages 425-440
  20. Hans Zantema
    Pages 441-455
  21. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.

The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.


Simulation approximation automata calculus constraint solving critical pair cryptographic protocol analysis data structure data structures dependency pairs equational tree automata functional-logic programming proving semantics term rewriting

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-70588-8
  • Online ISBN 978-3-540-70590-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site