Publisher: Springer; 1998 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 8.2 MB
Downloadable formats: PDF
This publication constitutes the refereed lawsuits of the eleventh foreign convention on Theorem Proving in better Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised complete papers offered have been conscientiously reviewed and chosen from a complete of fifty two submissions. additionally incorporated are invited papers. The papers handle all present elements of theorem proving in greater order logics and formal verification and software research. in addition to the HOL procedure, the concept provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are mentioned.