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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-70590-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70588-8
  • Online ISBN 978-3-540-70590-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book