Advertisement

Rewriting Techniques and Applications

15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

  • Vincent van Oostrom
Conference proceedings RTA 2004

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

Table of contents

  1. Front Matter
  2. Neil D. Jones, Nina Bohr
    Pages 1-23
  3. Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
    Pages 55-69
  4. Evelyne Contejean
    Pages 70-84
  5. Julien Carme, Joachim Niehren, Marc Tommasi
    Pages 105-118
  6. Herman Geuvers, Rob Nederpelt
    Pages 134-154
  7. Sébastien Limet, Gernot Salzer
    Pages 170-184
  8. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
    Pages 210-220
  9. Jeroen Ketema
    Pages 233-248
  10. Nao Hirokawa, Aart Middeldorp
    Pages 249-268
  11. Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama
    Pages 269-284
  12. Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
    Pages 285-300
  13. Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
    Pages 301-311
  14. Back Matter

About these proceedings

Keywords

algorithms automata automated deduction calculus cut elimination formal methods lambda calculus logic program calculi proving reduction rewriting rewriting systems termination verification

Editors and affiliations

  • Vincent van Oostrom
    • 1
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/b98160
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22153-1
  • Online ISBN 978-3-540-25979-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site