Lecture Notes in Computer Science

Rewriting Techniques and Applications

10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Editors: Narendran, Paliath, Rusinowitch, Michael (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48685-5
  • 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 in USD
  • ISBN 978-3-540-66201-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (30 chapters)

Table of contents (30 chapters)
  • Solved Forms for Path Ordering Constraints

    Nieuwenhuis, Robert (et al.)

    Pages 1-15

  • Jeopardy

    Dershowitz, Nachum (et al.)

    Pages 16-29

  • Strategic Pattern Matching

    Visser, Eelco

    Pages 30-44

  • On the Strong Normalization of Natural Deduction with Permutation-Conversions

    Groote, Philippe

    Pages 45-59

  • Normalisation in Weakly Orthogonal Rewriting

    Oostrom, Vincent

    Pages 60-74

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48685-5
  • 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 in USD
  • ISBN 978-3-540-66201-3
  • 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
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Editors
  • Paliath Narendran
  • Michael Rusinowitch
Series Title
Lecture Notes in Computer Science
Series Volume
1631
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48685-5
DOI
10.1007/3-540-48685-2
Softcover ISBN
978-3-540-66201-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 408
Topics