ENGLISH

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

By Mauro Gargano , Mark Hillebrand , Dirk Leinenbach , Wolfgang Paul (auth.) , Joe Hurd , Tom Melham (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540283722, 9783540283720
DOI
10.1007/11541868
Open Library ID
OL9370801M
Language
english
Format
PDF
Filesize
3 MB (3407313 bytes)
Series
Lecture Notes in Computer Science 3603 : Theoretical Computer Science and General Issues
Edition
1
Pages
414\417
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages; Logics an

Description

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.

Similar books