Author:
Aspinall David,Denney Ewen,Lüth Christoph
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Experiences from Exporting Major Proof Assistant Libraries;Journal of Automated Reasoning;2021-08-03
2. Querying Safety Cases;Lecture Notes in Computer Science;2014
3. Capturing Hiproofs in HOL Light;Lecture Notes in Computer Science;2013
4. A Semantic Basis for Proof Queries and Transformations;Logic for Programming, Artificial Intelligence, and Reasoning;2013
5. A Query Language for Formal Mathematical Libraries;Lecture Notes in Computer Science;2012