© 2008

Rewriting Techniques and Applications

19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

  • Editors
  • Andrei Voronkov
Conference proceedings RTA 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5117)

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences