Theorem Proving in Higher Order Logics
From MaRDI portal
Publication:5464658
DOI10.1007/b100400zbMath1099.68545OpenAlexW2798038182MaRDI QIDQ5464658
Publication date: 18 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100400
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Practical Tactics for Separation Logic ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Unnamed Item ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ A program logic for resources ⋮ a-Logic With Arrows ⋮ Abstraction-carrying code: a model for mobile code safety ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Refutation-based synthesis in SMT
Uses Software
This page was built for publication: Theorem Proving in Higher Order Logics
