Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.Slind, Konrad is the author of 'Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings', published 2004 under ISBN 9783540230175 and ISBN 3540230173.