Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Bellin, G., Ketonen, J.: A decision procedure revisited: Notes on direct logic, linear logic and its implementation. Theoretical computer science 95(1), 115–142 (1992)
2. The Coq Development Team (INRIA-LRI-CNRS). The Coq proof assistant reference manual,
http://coq.inria.fr
3. Lecture Notes in Artificial Intelligence;D. Delahaye,2000
4. Translations of Mathematical Monographs;G. Dragalin,1987
5. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic 57(3), 795–807 (1992)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Formalizing and Computing Propositional Quantifiers;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
3. Practical Proof Search for Coq by Type Inhabitation;Automated Reasoning;2020
4. Hammer for Coq: Automation for Dependent Type Theory;Journal of Automated Reasoning;2018-02-27
5. Towards the Integration of an Intuitionistic First-Order Prover into Coq;Electronic Proceedings in Theoretical Computer Science;2016-06-17