Advertisement

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

    1. Pierre-Etienne Moreau
      Pages 265-269
    2. Enno Ohlebusch, Claus Claves, Claude Marché
      Pages 270-273
  6. Back Matter

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

  • DOI https://doi.org/10.1007/10721975
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67778-9
  • Online ISBN 978-3-540-44980-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site