Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Rewriting Logic and Its Applications

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Editors: Ölveczky, Peter Csaba (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-16310-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-16309-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (16 chapters)

  • Rewriting, Inference, and Proof

    Shankar, Natarajan

    Pages 1-14

  • Twenty Years of Rewriting Logic

    Meseguer, José

    Pages 15-17

  • Proving Termination in the Context-Sensitive Dependency Pair Framework

    Gutiérrez, Raúl (et al.)

    Pages 18-34

  • A Dependency Pair Framework for A ∨ C-Termination

    Alarcón, Beatriz (et al.)

    Pages 35-51

  • Folding Variant Narrowing and Optimal Variant Termination

    Escobar, Santiago (et al.)

    Pages 52-68

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-16310-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-16309-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rewriting Logic and Its Applications
Book Subtitle
8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Editors
  • Peter Csaba Ölveczky
Series Title
Theoretical Computer Science and General Issues
Series Volume
6381
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-16310-4
DOI
10.1007/978-3-642-16310-4
Softcover ISBN
978-3-642-16309-8
Edition Number
1
Number of Pages
X, 264
Number of Illustrations and Tables
44 b/w illustrations
Topics