Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings, Volume 8

Front Cover
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
 

What people are saying - Write a review

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

Contents

I
1
II
17
III
32
IV
46
V
58
VI
75
VII
90
VIII
106
XV
214
XVI
229
XVII
245
XVIII
261
XIX
277
XX
293
XXI
308
XXII
324

IX
122
X
138
XI
154
XII
170
XIII
186
XIV
200
XXIII
340
XXIV
353
XXV
369
XXVI
385
Copyright

Other editions - View all

Common terms and phrases