Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Front Cover
Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Springer Science & Business Media, Aug 4, 2009 - Computers - 517 pages
This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held during August 17-20, 2009 in Munich, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 55 papers submitted to TPHOLs 2009 in the full research c- egory, each of which was refereed by at least three reviewers selected by the ProgramCommittee. Of these submissions, 26 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2009 also o?ered a venue for the presentation of emerging trends, 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 2009 technical report of the Technische Universit¨ at Munc ¨ hen. The organizers are grateful to David Basin, John Harrison and Wolfram Schulte for agreeing to give invited talks. We also invited four tool devel- ers to give tutorials about their systems. The following speakers kindly accepted our invitation and we are grateful to them: John Harrison (HOL Light), Adam Naumowicz (Mizar), Ulf Norell (Agda) and Carsten Schur ¨ mann (Twelf).
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
23
III
43
IV
60
V
67
VI
73
VII
79
VIII
84
XIX
260
XX
276
XXI
293
XXII
310
XXIII
327
XXIV
343
XXV
359
XXVI
375

IX
99
X
115
XI
131
XII
147
XIII
164
XIV
180
XV
196
XVI
212
XVII
228
XVIII
244
XXVII
391
XXVIII
408
XXIX
424
XXX
440
XXXI
452
XXXII
469
XXXIII
485
XXXIV
500
XXXV
516
Copyright

Other editions - View all

Common terms and phrases