Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMath1152.68528OpenAlexW2484880499MaRDI QIDQ5477657

David A. Naumann

Publication date: 6 July 2006

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

Full work available at URL: https://doi.org/10.1007/11541868

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Towards imperative modules: reasoning about invariants and sharing of mutable state, Refactoring and representation independence for class hierarchies

Uses Software

• PVS