Lecture Notes in Computer Science
© 2002
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Editors: Carreno, Victor A., Munoz, Cesar A., Tahar, Sofiene (Eds.)
Free PreviewBuy this book
- Table of contents (22 chapters)
-
-
Formal Methods at NASA Langley
Pages 1-2
-
Higher Order Unification 30 Years Later
Pages 3-12
-
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
Pages 13-30
-
Efficient Reasoning about Executable Specifications in Coq
Pages 31-46
-
Verified Bytecode Model Checkers
Pages 47-66
-
Table of contents (22 chapters)
Read this book on SpringerLink
- Download Sample pages 1 PDF (48.2 KB)
- Download Table of contents PDF (43.1 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Theorem Proving in Higher Order Logics
- Book Subtitle
- 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
- Editors
-
- Victor A. Carreno
- Cesar A. Munoz
- Sofiene Tahar
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2410
- Copyright
- 2002
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-45685-8
- DOI
- 10.1007/3-540-45685-6
- Softcover ISBN
- 978-3-540-44039-0
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 347
- Topics