ENGLISH

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

By Tobias Nipkow (auth.) , Jim Grundy , Malcolm Newey (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540649875, 9783540649878
DOI
10.1007/BFb0055125
LCC
QA76.9.A96 T655 1998
Open Library ID
OL377439M
Language
english
Format
DJVU
Filesize
4 MB (3812981 bytes)
Series
Lecture Notes in Computer Science 1479
Edition
1
Pages
496\501
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Logics and Meanings of Programs; Mathematical Logi

Description

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Similar books