Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Stefan Berghofer; Makarius Wenzel (Eds.) 
Titel:
Theorem Proving in Higher Order Logics --- Emerging Trends Proceedings 
Abstract:
This technical report is the Emerging Trends proceedings of the 22th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held during 17--20 August 2009 in Munich, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification. In keeping with longstanding tradition, the Emerging Trends track of TPHOLs 2009 offered a venue for the presentation of work in progress, where researchers...    »
 
Stichworte:
higher-order logic; theorem proving 
Jahr:
2009 
Jahr / Monat:
2009-07-10 00:00:00 
Seiten/Umfang:
82