Theorem Proving in Higher Order Logics - Emerging Trends
- 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.
Download full text files
Additional Services
| Author: | Klaus Schneider, Jens Brandt |
|---|---|
| URN: | urn:nbn:de:hbz:386-kluedo-16063 |
| Series (Serial Number): | Interner Bericht des Fachbereich Informatik (364) |
| Document Type: | Conference Proceeding |
| Language of publication: | English |
| Year of Completion: | 2007 |
| Year of first Publication: | 2007 |
| Publishing Institution: | Technische Universität Kaiserslautern |
| Date of the Publication (Server): | 2009/06/03 |
| GND Keyword: | HOL |
| Faculties / Organisational entities: | Kaiserslautern - Fachbereich Informatik |
| CCS-Classification (computer science): | F. Theory of Computation / F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1 Mathematical Logic (F.1.1, I.2.2-4) |
| I. Computing Methodologies / I.2 ARTIFICIAL INTELLIGENCE / I.2.3 Deduction and Theorem Proving (F.4.1) | |
| DDC-Cassification: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
| Licence (German): |  Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |