Rewriting Techniques and Applications

10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

  • Paliath Narendran
  • Michael Rusinowitch

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Session 1

    1. Robert Nieuwenhuis, José Miguel Rivero
      Pages 1-15
    2. Nachum Dershowitz, Subrata Mitra
      Pages 16-29
    3. Eelco Visser
      Pages 30-44
  3. Session 2:

  4. Session 3: Invited Talk

  5. Session 4:

  6. Session 5:

    1. Albert Rubio
      Pages 133-147
    2. Jürgen Stuber
      Pages 148-162
  7. Session 6:

    1. L. Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, A. Tiwari
      Pages 190-204
  8. Session 7: Invited Tutorial

    1. Femke van Raamsdonk
      Pages 220-239
  9. Session 8: System Descriptions

    1. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer et al.
      Pages 240-243
    2. F. J. López Fraguas, J. Sánchez Hernández
      Pages 244-247

About these proceedings

Keywords

Automat Constraint Graph Rewriting Higher Order Rewriting Lex String Rewriting Term Rewriting Theorem Proving automata complexity

Editors and affiliations

  • Paliath Narendran
    • 1
  • Michael Rusinowitch
    • 2
  1. 1.Department of Computer ScienceUniversity at Albany — SUNYAlbanyUSA
  2. 2.LORIA — INRIA Lorraine 615, rue du Jardin BotaniqueCedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48685-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66201-3
  • Online ISBN 978-3-540-48685-5
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace