Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings

zbMath0997.00025MaRDI QIDQ701699

No author found.

Publication date: 10 November 2002

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsHigher order logicsTheorem provingHampton, VA (USA)TPHOLs 2002

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Formalizing Type Operations Using the “Image” Type Constructor

Uses Software

• Unnamed Item

This page was built for publication: Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings