Advertisement

© 2000

Rewriting Techniques and Applications

11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

  • Leo Bachmair
Conference proceedings RTA 2000

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Invited Tutorial

    1. Sophie Tison
      Pages 27-30
  4. Regular Papers

    1. Nikolaj Bjørner, César Muñoz
      Pages 31-46
    2. Eduardo Bonelli, Delia Kesner, Alejandro Ríos
      Pages 62-79
    3. Evelyne Contejean, Antoine Coste, Benjamin Monate
      Pages 80-94
    4. Dan Dougherty, Claudio Gutiérrez
      Pages 95-109
    5. Katrin Erk, Joachim Niehren
      Pages 110-126
    6. Philippe de Groote
      Pages 127-140
    7. Rick Statman
      Pages 203-213
    8. Georg Struth
      Pages 214-228
  5. System Descriptions

About these proceedings

Keywords

Algebraic Program Manipulation Compiler Formal Reasoning HIgher-Order Rewriting Logic Calculi Program Semantics Programming Logic Resolution Rewriting Logic Rewriting Systems Term Rewriting automata lambda calculus logic

Editors and affiliations

  • Leo Bachmair
    • 1
  1. 1.Department of Computer ScienceStony Brook University, Stony BrookNew York

Bibliographic information

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace