Publisher
Springer Berlin Heidelberg
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Operations on Fixpoint Equation Systems;Logical Methods in Computer Science;2024-07-10
2. Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Towards contract-based verification for autonomous vessels;Ocean Engineering;2023-02
4. Blockchain-based Mechanism Design for Collaborative Mathematical Research;2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2022-05-02
5. Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11