LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)-Reference-Cited by-同舟云学术

LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)

Published:2008 Issue: Volume: Page:162-170
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Benzmüller Christoph,Paulson Lawrence C.,Theiss Frank,Fietzke Arnaud

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71070-7_14

Reference25 articles.

1. Andrews, P.B., Brown, C.E.: TPS: A hybrid automatic-interactive system for developing proofs. J. Applied Logic 4(4), 367–395 (2006)

2. Beeson, M.: Mathematical induction in Otter-Lambda. J. Autom. Reasoning 36(4), 311–344 (2006)

3. Benzmüller, C.: Equality and Extensionality in Automated Higher-Order Theorem Proving. PhD thesis, Saarlandes University (1999)

4. Lecture Notes in Artificial Intelligence;C. Benzmüller,1998

5. Benzmüller, C., Paulson, L.: Festschrift in Honour of Peter B. Andrews on his 70th Birthday. In: Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II. IFCoLog (to appear, 2007)

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

1. Superposition for Higher-Order Logic;Journal of Automated Reasoning;2023-01-21

2. SUPERPOSITION FOR LAMBDA-FREE HIGHER-ORDER LOGIC;LOG METH COMPUT SCI;2021

3. Superposition for Full Higher-order Logic;Automated Deduction – CADE 28;2021

4. Logic-Independent Proof Search in Logical Frameworks;Automated Reasoning;2020

5. GRUNGE: A Grand Unified ATP Challenge;Lecture Notes in Computer Science;2019