Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Theoretical Computer Science and General Issues

Term Rewriting and Applications

18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Editors: Baader, Franz (Ed.)

  • Presents the proceedings from the 18th International Conference on Rewriting Techniques and Applications
  • Features some of the latest advances in the field
  • Covers current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics
see more benefits

Buy this book

eBook $89.00
price for USA
  • ISBN 978-3-540-73449-9
  • 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-540-73447-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (30 chapters)

  • Formal Verification of an Optimizing Compiler

    Leroy, Xavier

    Pages 1-1

  • Challenges in Satisfiability Modulo Theories

    Nieuwenhuis, Robert (et al.)

    Pages 2-18

  • On a Logical Foundation for Explicit Substitutions

    Pfenning, Frank

    Pages 19-19

  • Intruders with Caps

    Anantharaman, Siva (et al.)

    Pages 20-35

  • Tom: Piggybacking Rewriting on Java

    Balland, Emilie (et al.)

    Pages 36-47

Buy this book

eBook $89.00
price for USA
  • ISBN 978-3-540-73449-9
  • 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-540-73447-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Term Rewriting and Applications
Book Subtitle
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Editors
  • Franz Baader
Series Title
Theoretical Computer Science and General Issues
Series Volume
4533
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-73449-9
DOI
10.1007/978-3-540-73449-9
Softcover ISBN
978-3-540-73447-5
Edition Number
1
Number of Pages
XII, 422
Topics