Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
From MaRDI portal
Publication:1819255
DOI10.1007/3-540-48256-3zbMath0929.00038OpenAlexW4298072213MaRDI QIDQ1819255
No author found.
Publication date: 6 January 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-48256-3
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (6)
SAD as a mathematical assistant -- how should we go from here to there? ⋮ Supporting the formal verification of mathematical texts ⋮ The formal verification of the ctm approach to forcing ⋮ Local Theory Specifications in Isabelle/Isar ⋮ First steps towards a formalization of forcing ⋮ Enhancing Theorem Prover Interfaces with Program Slice Information
Uses Software
This page was built for publication: Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
