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

MaRDI QIDQ701699zbMATH OpenFDO

Authors

Publication date 10 November 2002

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

zbMATH Keywords

ConferenceProceedingsTheorem provingHampton, VA (USA)Higher order logicsTPHOLs 2002

Mathematics Subject Classification ID

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

Cited in

(5)

• Formalizing type operations using the ``image type constructor
• Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers
• Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings
• Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
• Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Describes a project that uses

Uses Software

• Coq

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701699)