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.
Metadaten
Author:Klaus Schneider, Jens Brandt
URN (permanent link):urn:nbn:de:hbz:386-kluedo-16063
Serie (Series number):Interner Bericht des Fachbereich Informatik (364)
Document Type:Conference Proceeding
Language of publication:English
Year of Completion:2007
Year of Publication:2007
Publishing Institute:Technische Universität Kaiserslautern
GND-Keyword:HOL
Faculties / Organisational entities:Fachbereich Informatik
CCS-Classification (computer science):F.4.1 Mathematical Logic (F.1.1, I.2.2-4)
I.2.3 Deduction and Theorem Proving (F.4.1)
DDC-Cassification:004 Datenverarbeitung; Informatik

$Rev: 12793 $