Publisher
Springer International Publishing
Reference23 articles.
1. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, 2nd edn. Elsevier Science Publishers B.V., Amsterdam (1984)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Becker,2017
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Bentkamp,2019
4. Benzmüller, C., Sultana, N., Paulson, L.C., Theiß, F.: The higher-order prover Leo-II. J. Autom. Reasoning 55(4), 389–404 (2015).
https://doi.org/10.1007/s10817-015-9348-y
5. Bhayat, A., Reger, G.: A combinator-based superposition calculus for higher-order logic. In: The 10th International Joint Conference on Automated Reasoning (IJCAR) (2020)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献