Theorem Proving in Higher Order Logics - Emerging Trends
К. R. Schneider, Jens Brandt · Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology) · 2007
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.