Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo-Reference-Cited by-同舟云学术

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

Published:2013 Issue: Volume: Page:274-290
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Delahaye David,Doligez Damien,Gilbert Frédéric,Halmagrand Pierre,Hermant Olivier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-45221-5_20

Reference15 articles.

1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0521496195

2. Boespflug, M., Carbonneaux, Q., Hermant, O.: The λΠ-Calculus Modulo as a Universal Proof Language. In: Pichardie, D., Weber, T. (eds.) Proof Exchange for Theorem Proving (PxTP), Manchester, UK, pp. 28–43 (June 2012)

3. Lecture Notes in Artificial Intelligence;R. Bonichon,2004

4. Lecture Notes in Artificial Intelligence;R. Bonichon,2007

5. Brauner, P., Houtmann, C., Kirchner, C.: Principles of Superdeduction. In: Logic in Computer Science (LICS), Wrocław, Poland, pp. 41–50. IEEE Computer Society Press (July 2007)

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

1. A Polymorphic Vampire;Automated Reasoning;2020

2. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice;Journal of Automated Reasoning;2019-09-23

3. EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract);Electronic Proceedings in Theoretical Computer Science;2019-08-23

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

5. Encoding TLA + into unsorted and many-sorted first-order logic;Science of Computer Programming;2018-06