The CADE-26 automated theorem proving system competition – CASC-26-Reference-Cited by-同舟云学术

The CADE-26 automated theorem proving system competition – CASC-26

Published:2017-12-01 Issue:6 Volume:30 Page:419-432
ISSN:1875-8452
Container-title:AI Communications
language:
Short-container-title:AIC

Author:

Sutcliffe Geoff¹

Affiliation:

1. Department of Computer Science, University of Miami, USA. E-mail: geoff@cs.miami.edu

Publisher

IOS Press

Subject

Artificial Intelligence

Reference30 articles.

1. Analytic tableaux for higher-order logic with choice;Backes;Journal of Automated Reasoning,2011

2. A Transfinite Knuth–Bendix Order for Lambda-Free Higher-Order Terms

3. Finding proofs in tarskian geometry;Beeson;Journal of Automated Reasoning,2017

4. C. Benzmüller, A. Steen and M. Wisniewski, Leo-III version 1.1 (system description), in: Proceedings of the IWIL Workshop and LPAR Short Presentations, T. Eiter, D. Sands, S. Schulz, J. Urban, G. Sutcliffe and A. Voronkov, eds, Kalpa Publications in Computing, Vol. 1, 2017.

5. J. Blanchette, P. Fontaine, S. Schulz and U. Waldmann, Towards strong higher-order automation for fast interactive verification, in: Proceedings of the 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017), G. Reger and D. Trayfel, eds, EPiC Series in Computing, Vol. 51, EasyChair Publications, 2017, pp. 16–23.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The CADE-29 Automated Theorem Proving System Competition – CASC-29;AI Communications;2024-03-25

2. The 10th IJCAR automated theorem proving system competition – CASC-J10;AI Communications;2021-09-10

3. Extending a brainiac prover to lambda-free higher-order logic;International Journal on Software Tools for Technology Transfer;2021-08-16

4. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019;International Journal on Software Tools for Technology Transfer;2021-06-01

5. Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements;Electronic Proceedings in Theoretical Computer Science;2019-12-31