Advertisement

Term Rewriting and Applications

16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

  • Jürgen Giesl
Conference proceedings RTA 2005

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

Table of contents

  1. Front Matter
  2. Yoshihito Toyama
    Pages 1-1
  3. Jaco van de Pol, Hans Zantema
    Pages 2-16
  4. Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio
    Pages 17-31
  5. Nachum Dershowitz, E. Castedo Ellerman
    Pages 32-45
  6. Michael Abbott, Neil Ghani, Christoph Lüth
    Pages 46-60
  7. James Cheney
    Pages 74-89
  8. Thierry Boy de la Tour, Mnacho Echenim
    Pages 105-119
  9. Takahito Aoto, Toshiyuki Yamada
    Pages 120-134
  10. Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
    Pages 150-164
  11. Joe Hendrix, Manuel Clavel, José Meseguer
    Pages 165-174
  12. Nao Hirokawa, Aart Middeldorp
    Pages 175-184
  13. José Meseguer
    Pages 250-263
  14. Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
    Pages 264-278
  15. Santiago Escobar, José Meseguer, Prasanna Thati
    Pages 279-293
  16. Hubert Comon-Lundh, Stéphanie Delaune
    Pages 294-307
  17. Pascal Lafourcade, Denis Lugiez, Ralf Treinen
    Pages 308-322
  18. Olivier Bournez, Florent Garnier
    Pages 323-337
  19. Wojciech Moczydłowski, Alfons Geser
    Pages 338-352
  20. Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
    Pages 353-367
  21. Jean-Pierre Jouannaud
    Pages 368-375
  22. Nachum Dershowitz
    Pages 376-393
  23. Delia Kesner, Stéphane Lengrand
    Pages 407-422
  24. Gilles Dowek, Benjamin Werner
    Pages 423-437
  25. Jeroen Ketema, Jakob Grue Simonsen
    Pages 438-452
  26. Robert Nieuwenhuis, Albert Oliveras
    Pages 453-468
  27. Aaron Stump, Li-Yang Tan
    Pages 469-483
  28. Ahmed Bouajjani, Tayssir Touili
    Pages 484-499
  29. Iovka Boneva, Jean-Marc Talbot
    Pages 500-515
  30. Back Matter

About these proceedings

Introduction

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), and Aachen (2004). This year, there were 79 submissions from 20 countries, of which 31 papers were accepted for publication (29 regular papers and 2 system descriptions). The submissions came from France (10 accepted papers of the 23.1 submitted papers), USA (5.6 of 11.7), Japan (4 of 9), Spain (2.7 of 6.5), UK (2.7 of 4.7), The Netherlands (1.7 of 3.8), Germany (1.3 of 2.3), Austria (1 of 1), Poland (1 of 1), Israel (0.5 of 0.8), Denmark (0.5 of 0.5), China (0 of 4), Korea (0 of 4), Taiwan (0 of 1.3), Australia (0 of 1), Brazil (0 of 1), Russia (0 of 1), Switzerland (0 of 1), Sweden (0 of 1), and Italy (0 of 0.3). Each submission was assigned to at least three Program Committee m- bers, who carefully reviewed the papers, with the help of 111 external referees.

Keywords

automata automated deduction higher order rewriting lambda calculus logic programming programming calculi proving rewriting rewriting systems semantics term rewriting termination type inference unification verification

Editors and affiliations

  • Jürgen Giesl
    • 1
  1. 1.LuFG Informatik 2RWTH Aachen UniversityGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b135673
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25596-3
  • Online ISBN 978-3-540-32033-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site