Author:
Ayala-Rincón Mauricio,de Moura Flávio L. C.
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalization of Ring Theory in PVS;Journal of Automated Reasoning;2021-05-12
2. Teaching Interactive Proofs to Mathematicians;Electronic Proceedings in Theoretical Computer Science;2020-10-30
3. The Computational Relevance of Formal Logic Through Formal Proofs;Formal Methods Teaching;2019