## 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 veri&#64257;cation.
Author: Klaus Schneider, Jens Brandt urn:nbn:de:hbz:386-kluedo-16063 Interner Bericht des Fachbereich Informatik (364) Conference Proceeding English 2007 2007 Technische Universität Kaiserslautern HOL Fachbereich Informatik F.4.1 Mathematical Logic (F.1.1, I.2.2-4) I.2.3 Deduction and Theorem Proving (F.4.1) 004 Datenverarbeitung; Informatik

$Rev: 12793$