ENGLISH

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

By Sten Agerholm , Jacob Frost (auth.) , Elsa L. Gunter , Amy Felty (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540633790, 9783540633792
DOI
10.1007/BFb0028381
LCC
QA76.9.A96 I577 1997
Google Books ID
zU0YarAEgwwC
Open Library ID
OL686340M
Language
english
Format
PDF
Filesize
25 MB (26663245 bytes)
Series
Lecture Notes in Computer Science 1275
Edition
1
Pages
346\340
Topic
Computers
Time added
2011-06-04 13:46:07
Mathematical Logic and Formal Languages; Logic Des

Description

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.

Similar books