Skip to main content
  • Conference proceedings
  • © 2003

Rewriting Techniques and Applications

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

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

Conference series link(s): RTA: International Conference on Rewriting Techniques and Applications

Conference proceedings info: RTA 2003.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (35 papers)

  1. Front Matter

    Pages I-XI
  2. Invited Talk

    1. Symbolic Systems Biology

      • Patrick Lincoln
      Pages 1-1
    2. A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms

      • Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibănescu
      Pages 30-45
    3. Efficient Reductions with Director Strings

      • François-Régis Sinot, Maribel Fernández, Ian Mackie
      Pages 46-60
    4. Rewriting Logic and Probabilities

      • Olivier Bournez, Mathieu Hoyrup
      Pages 61-75
    5. The Maude 2.0 System

      • Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer et al.
      Pages 76-87
    6. Diagrams for Meaning Preservation

      • Joe B. Wells, Detlef Plump, Fairouz Kamareddine
      Pages 88-106
    7. Expression Reduction Systems with Patterns

      • Julien Forest, Delia Kesner
      Pages 107-122
    8. Residuals in Higher-Order Rewriting

      • H. J. Sander Bruggink
      Pages 123-137
    9. Rewriting UNITY

      • Adam Granicz, Daniel M. Zimmerman, Jason Hickey
      Pages 138-147
    10. An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation

      • Deepak Kapur, Paliath Narendran, Lida Wang
      Pages 165-179
    11. Rule-Based Analysis of Dimensional Safety

      • Feng Chen, Grigore Roşu, Ram Prasad Venkatesan
      Pages 197-207
  3. Invited Talk

    1. On the Complexity of Higher-Order Matching in the Linear λ-Calculus

      • Sylvain Salvati, Philippe de Groote
      Pages 234-245
    2. XML Schema, Tree Logic and Sheaves Automata

      • Silvano Dal Zilio, Denis Lugiez
      Pages 246-263
    3. Size-Change Termination for Term Rewriting

      • René Thiemann, Jürgen Giesl
      Pages 264-278

Other Volumes

  1. Rewriting Techniques and Applications

Editors and Affiliations

  • Dpt. Lenguajes y Sistemas Informáticos (LSI), Technical University of Catalonia (UPC), Barcelona, Spain

    Robert Nieuwenhuis

Bibliographic Information

  • Book Title: Rewriting Techniques and Applications

  • Book Subtitle: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

  • Editors: Robert Nieuwenhuis

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-44881-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2003

  • Softcover ISBN: 978-3-540-40254-1Published: 27 May 2003

  • eBook ISBN: 978-3-540-44881-5Published: 06 March 2007

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 518

  • Topics: Programming Languages, Compilers, Interpreters, Computer Science, general

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access