Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, Volume 10

Front Cover
Springer Science & Business Media, Aug 6, 1997 - Computers - 337 pages
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.
 

What people are saying - Write a review

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

Contents

I
1
II
17
III
33
IV
49
V
69
VI
87
VII
89
VIII
105
XIII
183
XIV
199
XV
215
XVI
231
XVII
243
XVIII
259
XIX
275
XX
291

IX
121
X
137
XI
153
XII
171
XXI
307
XXII
323
XXIII
Copyright

Other editions - View all

Common terms and phrases