-
Proving in
Higher Order Logics (
TPHOLs)
conference series to the
broad field of
interactive theorem proving.
TPHOLs meetings took
place every year from...
-
Theorem Proving in
Higher Order Logics: 18th
International Conference,
TPHOLs 2005, Oxford, UK,
August 22–25, 2005, Proceedings.
Lecture Notes in Computer...
- 14th
International Conference on
Theorem Proving in
Higher Order Logics (
TPHOLs '01),
Richard J.
Boulton and Paul B.
Jackson (Eds.). Springer-Verlag, London...
-
There has been a
series of
international conferences on the HOL system,
TPHOLs. The
first three were
informal users'
meetings with no
published proceedings...
- Muñoz, C.; Tahar, S. (eds.). Proceedings, 15th
International Conference TPHOL. LNCS. Vol. 2410. Springer. pp. 3–12. Wells, J. B. (1993). "Typability and...
- C. Gordon.
Verified LISP
Implementations on ARM, x86 and
PowerPC (PDF).
TPHOLs 2009. pp. 359–374.
Peter Sewell;
Susmit Sarkar;
Scott Owens;
Francesco Zappa...
-
Theorem Proving in
Higher Order Logics, 22nd
International Conference,
TPHOLs 2009, Munich, Germany,
August 17–20, 2009. Proceedings.
Lecture Notes in...
- Muñoz, C.; Tahar, S. (eds.). Proceedings, 15th
International Conference TPHOL. LNCS. Vol. 2410. Springer. pp. 3–12.
entry on HOL ****ing,
Melvin (2002)...
-
Conference in Seattle,
United States, and
merged CADE, FTP, TABLEAUX,
FroCoS and
TPHOLs. The
fourth IJCAR was held in Sydney,
Australia in 2008, and
merged CADE...
-
Theorem Proving in
Higher Order Logics, 9th
International Conference,
TPHOLs'96, Turku, Finland,
August 26-30, 1996, Proceedings.
Lecture Notes in Computer...
