Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Konrad Slind, Annette Bunker, Ganesh C. GopalakrishnanTHis 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.
年:
2004
出版社:
Springer
语言:
english
页:
349
ISBN 10:
3540301429
ISBN 13:
9783540301424
系列:
Lecture notes in computer science 3223
文件:
DJVU, 2.97 MB
IPFS:
,
english, 2004