Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings

zbMath0898.00030MaRDI QIDQ1269998

No author found.

Publication date: 20 October 1998

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

zbMATH Keywords

ConferenceProceedingsCanberra (Australia)Higher order logicsTheorem provingTPHOLs '98

Mathematics Subject Classification ID

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)

Uses Software

• Nuprl
• HOT

This page was built for publication: Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings