Benutzer: Gast  Login
Titel:

Theorem Proving in Higher Order Logics --- Emerging Trends Proceedings

Dokumenttyp:
Technical Report
Autor(en):
Stefan Berghofer; Makarius Wenzel (Eds.)
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
 BibTeX