Author:
Blanchette Jasmin,Böhme Sascha,Popescu Andrei,Smallbone Nicholas
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Superposition with Lambdas;Journal of Automated Reasoning;2021-08-21
2. Extending a brainiac prover to lambda-free higher-order logic;International Journal on Software Tools for Technology Transfer;2021-08-16
3. General Automation in Coq through Modular Transformations;Electronic Proceedings in Theoretical Computer Science;2021-07-07
4. Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra;The Computer Journal;2021-05-03
5. Extensional Higher-Order Paramodulation in Leo-III;Journal of Automated Reasoning;2021-03-27