Conference Proceeding
Refine
Year of publication
- 2007 (1)
Document Type
- Conference Proceeding (1) (remove)
Language
- English (1)
Has Fulltext
- yes (1)
Keywords
- HOL (1) (remove)
Faculty / Organisational entity
This technical report is the Emerging Trends proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), which was held during 10-13 September in Kaiserslautern, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.