Advertisement

Term Rewriting and Applications

18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

  • Editors
  • Franz Baader
Conference proceedings RTA 2007

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

Table of contents

  1. Front Matter
  2. Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
    Pages 2-18
  3. Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
    Pages 20-35
  4. Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
    Pages 36-47
  5. Yohan Boichut, Thomas Genet, Thomas Jensen, Luka Le Roux
    Pages 48-62
  6. Thierry Boy de la Tour, Mnacho Echenim
    Pages 63-77
  7. Horatiu Cirstea, Germain Faure
    Pages 78-92
  8. Gilles Dowek, Olivier Hermant
    Pages 93-106
  9. Irène Durand, Géraud Sénizergues
    Pages 107-121
  10. Dominique Duval, Rachid Echahed, Frederic Prost
    Pages 122-136
  11. Rachid Echahed, Nicolas Peltier
    Pages 137-152
  12. Santiago Escobar, José Meseguer
    Pages 153-168
  13. José Espírito Santo
    Pages 169-183
  14. Guillem Godoy, Eduard Huntingford, Ashish Tiwari
    Pages 200-213
  15. Rémy Haemmerlé, François Fages
    Pages 214-228
  16. Martin Korp, Aart Middeldorp
    Pages 273-287
  17. Temur Kutsia, Jordi Levy, Mateu Villaret
    Pages 288-302
  18. Claude Marché, Hans Zantema
    Pages 303-313
  19. Vincent van Oostrom
    Pages 314-328
  20. Manfred Schmidt-Schauß
    Pages 329-343
  21. Lutz Straßburger
    Pages 344-358
  22. Lionel Vaux
    Pages 374-388
  23. Harald Zankl, Aart Middeldorp
    Pages 389-403
  24. Hans Zantema, Johannes Waldmann
    Pages 404-418
  25. Back Matter

About these proceedings

Keywords

Constraint Java approximation automated deduction constraint solving formal analysis formal verification graph rewriting higher order rewriting lambda calculus logic logic programming model checking object-oriented languages verification

Bibliographic information

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