Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings, Volume 9
Joakim von Wright, International Conference on Theorem Proving in Higher Order Logics (9 : 1996 : Turku), Jim Grundy
Springer Berlin Heidelberg, Aug 7, 1996 - Computers - 446 pages
This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996.
The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Translating Specifications in VDMSL to PVS
Modeling a Hardware Synthesis Methodology in Isabelle
Inference Rules for Programming Languages with
Proving Liveness of Fair Transition Systems
Butler T Långbacka
A Case Study
Towards Applying the Composition Principle to Verify
R Heckman C Zhang B R Becker D Peticolas K N Levitt
Importing Mathematics from HOL into Nuprl
A Structure Preserving Encoding of Z in IsabelleHOL
Improving the Result of HighLevel Synthesis
Using Lattice Theory in Higher Order Logic
The Monomorphic Case
Nazareth T Nipkow
Elements of Mathematical Analysis in PVS
Five Axioms of AlphaConversion
Set Theory Higher Order Logic or Both?
Stålmarcks Algorithm as a HOL Derived Rule
Higher Order Annotated Terms for Proof Search
A Comparison of MDG and HOL for Hardware Verification
A Mechanisation of Computability Theory in HOL