ENGLISH

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

By Constance L. Heitmeyer (auth.) , Klaus Schneider , Jens Brandt (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
3540745904, 9783540745907
DOI
10.1007/978-3-540-74591-4
Open Library ID
OL16151966M
Language
english
Format
PDF
Filesize
3 MB (3637474 bytes)
Series
Lecture Notes in Computer Science 4732
Edition
1
Pages
404\407
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. The 21 revised full papers presented together with 5 proof pearls (concise and elegant presentations of interesting examples) and the abstracts of 3 invited papers were carefully reviewed and selected from 52 submissions. Among the topics of this volume are formal semantics of specification, modelling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Similar books