Advertisement

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
    3. Stephan Kepser, Jörn Richts
      Pages 248-251
    4. Rakesh Verma, Shalitha Senanayake
      Pages 252-255
  10. Session 9:

    1. Takashi Nagaya, Yoshihito Toyama
      Pages 256-270
    2. Jürgen Giesl, Aart Middeldorp
      Pages 271-285
    3. M. C. F. Ferreira, A. L. Ribeiro
      Pages 286-300
  11. Session 10:

    1. Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
      Pages 301-316
    2. Gilles Dowek, Thérèse Hardin, Claude Kirchner
      Pages 317-331
  12. Session 11: Invited Talk

  13. Session 12:

    1. Christiane Frougny, Jacques Sakarovitch
      Pages 356-370
    2. Manfred G#x00F6;bel
      Pages 371-381
    3. Frédéric Saubion, Igor Stéphan
      Pages 382-396
  14. Back Matter
    Pages 397-397

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering