Lecture Notes in Computer Science

8th International Conference on Automated Deduction

Oxford, England, July 27- August 1, 1986. Proceedings

Editors: Siekmann, Jörg H. (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39861-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-16780-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

Table of contents (49 chapters)
  • Connections and higher-order logic

    Andrews, Peter B.

    Pages 1-4

  • Commutation, transformation, and termination

    Bachmair, Leo (et al.)

    Pages 5-20

  • Full-commutation and fair-termination in equational (and combined) term-rewriting systems

    Porat, Sara (et al.)

    Pages 21-41

  • An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations

    Cherifa, Ahlem Ben (et al.)

    Pages 42-51

  • Proving termination of associative commutative rewriting systems by rewriting

    Gnaedig, Isabelle (et al.)

    Pages 52-61

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39861-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-16780-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
8th International Conference on Automated Deduction
Book Subtitle
Oxford, England, July 27- August 1, 1986. Proceedings
Editors
  • Jörg H. Siekmann
Series Title
Lecture Notes in Computer Science
Series Volume
230
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39861-5
DOI
10.1007/3-540-16780-3
Softcover ISBN
978-3-540-16780-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 716
Topics