Rewriting Techniques and Applications

14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings

  • Robert Nieuwenhuis
Conference proceedings RTA 2003

DOI: 10.1007/3-540-44881-0

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

Table of contents (35 papers)

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

    1. Patrick Lincoln
      Pages 1-1
    2. Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibănescu
      Pages 30-45
    3. François-Régis Sinot, Maribel Fernández, Ian Mackie
      Pages 46-60
    4. Olivier Bournez, Mathieu Hoyrup
      Pages 61-75
    5. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer et al.
      Pages 76-87
    6. Joe B. Wells, Detlef Plump, Fairouz Kamareddine
      Pages 88-106
    7. Julien Forest, Delia Kesner
      Pages 107-122
    8. H. J. Sander Bruggink
      Pages 123-137
    9. Adam Granicz, Daniel M. Zimmerman, Jason Hickey
      Pages 138-147
    10. Deepak Kapur, Paliath Narendran, Lida Wang
      Pages 165-179
    11. Feng Chen, Grigore Roşu, Ram Prasad Venkatesan
      Pages 197-207
    12. Sylvain Salvati, Philippe de Groote
      Pages 234-245
    13. Silvano Dal Zilio, Denis Lugiez
      Pages 246-263
    14. René Thiemann, Jürgen Giesl
      Pages 264-278

About these proceedings

Keywords

XML algorithms automata automated deduction derivation logic modeling program calculi reduction rewriting semantics substitutions term rewriting type inference unification

Editors and affiliations

  • Robert Nieuwenhuis
    • 1
  1. 1.Dpt. Lenguajes y Sistemas Informáticos (LSI)Technical University of Catalonia (UPC)BarcelonaSpain

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40254-1
  • Online ISBN 978-3-540-44881-5
  • Series Print ISSN 0302-9743