Advertisement

Rewriting Techniques and Applications

13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

  • Sophie Tison
Conference proceedings RTA 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

    1. Natarajan Shankar, Harald Rueß
      Pages 1-18
  3. Regular Papers, Application Papers

    1. Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
      Pages 51-65
    2. Germain Faure, Claude Kirchner
      Pages 66-82
    3. Georg Struth
      Pages 83-97
    4. Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji
      Pages 98-113
    5. Hitoshi Ohsaki, Toshinori Takai
      Pages 114-128
    6. Pierre Réty, Julie Vuotto
      Pages 129-143
    7. Johannes Waldmann
      Pages 144-158
    8. Paula Severi, Fer-Jan de Vries
      Pages 159-173
    9. Chuck Liang, Gopalan Nadathur
      Pages 192-206
    10. David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
      Pages 207-221
    11. Martin Bravenboer, Eelco Visser
      Pages 237-251
    12. Olivier Bournez, Claude Kirchner
      Pages 252-266
    13. Witold Charatonik, Jean-Marc Talbot
      Pages 311-325
    14. Jordi Levy, Mateu Villaret
      Pages 326-339
    15. Dan Dougherty, ToMasz Wierzbicki
      Pages 340-351
  4. System Descriptions

  5. Back Matter
    Pages 387-387

About these proceedings

Keywords

Exception LA ants automated deduction calculus derivation explicite substitutions formal methods verfification logic model checking program calculi proving rewriting systems term rewriting termination

Editors and affiliations

  • Sophie Tison
    • 1
  1. 1.LIFL Bâtiment M3Université de Lille 1Villeneuve d’Ascq cedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45610-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43916-5
  • Online ISBN 978-3-540-45610-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering