Advertisement

Rewriting Techniques and Applications

20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

  • Ralf Treinen
Conference proceedings RTA 2009

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

Table of contents

  1. Front Matter
  2. Johannes Waldmann
    Pages 1-16
  3. René Thiemann, Christian Sternagel
    Pages 17-31
  4. Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
    Pages 32-47
  5. Martin Avanzini, Georg Moser
    Pages 48-62
  6. Guillem Godoy, Florent Jacquemard
    Pages 63-77
  7. Takahito Aoto, Junichi Yoshida, Yoshihito Toyama
    Pages 93-102
  8. Alwen Tiu, Rajeev Goré
    Pages 103-117
  9. Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
    Pages 148-163
  10. Hans Zantema
    Pages 164-178
  11. Dominique Duval, Rachid Echahed, Frédéric Prost
    Pages 194-208
  12. Marc de Falco
    Pages 209-223
  13. Daisuke Kimura, Makoto Tatsuta
    Pages 224-238
  14. Jeroen Ketema
    Pages 239-254
  15. Georg Moser, Andreas Schnabl
    Pages 255-269
  16. Jörg Endrullis, Roel de Vrijer, Johannes Waldmann
    Pages 270-284
  17. Felix Schernhammer, Bernhard Gramlich
    Pages 285-294
  18. Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
    Pages 295-304
  19. Jörg Endrullis, Dimitri Hendriks
    Pages 305-319
  20. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
    Pages 320-334
  21. Franz Baader, Barbara Morawska
    Pages 350-364
  22. Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
    Pages 365-379
  23. Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet et al.
    Pages 380-390
  24. Back Matter

About these proceedings

Keywords

VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving

Editors and affiliations

  • Ralf Treinen
    • 1
  1. 1.Laboratoire PPS, Université Paris Diderot - Paris 7, CNRSParisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02348-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02347-7
  • Online ISBN 978-3-642-02348-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site