Theoretical Computer Science and General Issues

Rewriting Techniques and Applications

20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Editors: Treinen, Ralf (Ed.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-02348-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-02347-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (27 chapters)

  • Automatic Termination

    Waldmann, Johannes

    Pages 1-16

  • Loops under Strategies

    Thiemann, René (et al.)

    Pages 17-31

  • Proving Termination of Integer Term Rewriting

    Fuhs, Carsten (et al.)

    Pages 32-47

  • Dependency Pairs and Polynomial Path Orders

    Avanzini, Martin (et al.)

    Pages 48-62

  • Unique Normalization for Shallow TRS

    Godoy, Guillem (et al.)

    Pages 63-77

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-02348-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-02347-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rewriting Techniques and Applications
Book Subtitle
20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Editors
  • Ralf Treinen
Series Title
Theoretical Computer Science and General Issues
Series Volume
5595
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-02348-4
DOI
10.1007/978-3-642-02348-4
Softcover ISBN
978-3-642-02347-7
Edition Number
1
Number of Pages
XII, 391
Topics