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

Lecture Notes in Computer Science

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Editors: Schubert, E. Thomas, Windley, Phillip J., Alves-Foss, James (Eds.)

Free Preview

Buy this book

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

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Table of contents (26 chapters)

Table of contents (26 chapters)
  • Mechanizing a π-calculus equivalence in HOL

    Pages 1-16

    Aït Mohamed, Otmane

  • Non-primitive recursive function definitions

    Pages 17-31

    Agerholm, Sten

  • Experiments with ZF set theory in HOL and Isabelle

    Pages 32-45

    Agerholm, Sten (et al.)

  • Automatically synthesized term denotation predicates: A proof aid

    Pages 46-57

    Black, Paul E. (et al.)

  • On the refinement of symmetric memory protocols

    Pages 58-74

    Bodeveix, J. -P. (et al.)

Buy this book

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

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Higher Order Logic Theorem Proving and Its Applications
Book Subtitle
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Editors
  • E. Thomas Schubert
  • Phillip J. Windley
  • James Alves-Foss
Series Title
Lecture Notes in Computer Science
Series Volume
971
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44784-9
DOI
10.1007/3-540-60275-5
Softcover ISBN
978-3-540-60275-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 408
Topics