Author:
Allen S.F.,Constable R.L.,Howe D.J.,Aitken W.E.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019
2. Incorporating quotation and evaluation into Church's type theory;Information and Computation;2018-06
3. HOL Light QE;Interactive Theorem Proving;2018
4. Proof-Producing Reflection for HOL;Interactive Theorem Proving;2015
5. Deciding Kleene Algebras in Coq;Logical Methods in Computer Science;2012-03-02