Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8--12, 2003. Proceedings

DOI10.1007/B11935zbMath1028.00025OpenAlexW4302323359MaRDI QIDQ1416071

No author found.

Publication date: 11 December 2003

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

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2758.htm

zbMATH Keywords

Higher order logicsTheorem provingRome (Italy)TPHOLs 2003

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 (3)

Innovations in computational type theory using Nuprl ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ Formalizing Type Operations Using the “Image” Type Constructor

Uses Software

• Unnamed Item

This page was built for publication: Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8--12, 2003. Proceedings