Save today: Get 40% off titles in Popular Science!

Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Editors: Wright, Joakim von, Grundy, Jim, Harrison, John (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70641-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this book

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996.
The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Translating specifications in VDM-SL to PVS

    Pages 1-16

    Agerholm, Sten

  • A comparison of HOL and ALF formalizations of a categorical coherence theorem

    Pages 17-32

    Agerholm, Sten (et al.)

  • Modeling a hardware synthesis methodology in isabelle

    Pages 33-50

    Basin, David (et al.)

  • Inference rules for programming languages with side effects in expressions

    Pages 51-60

    Black, Paul E. (et al.)

  • Deciding cryptographic protocol adequacy with HOL: The implementation

    Pages 61-76

    Brackin, Stephen H.

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70641-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theorem Proving in Higher Order Logics
Book Subtitle
9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings
Editors
  • Joakim von Wright
  • Jim Grundy
  • John Harrison
Series Title
Lecture Notes in Computer Science
Series Volume
1125
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70641-0
DOI
10.1007/BFb0105392
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 447
Topics