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

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
  • About this book