Extracting text from proofs-Reference-Cited by-同舟云学术

Extracting text from proofs

Published:1995 Issue: Volume: Page:109-123
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Coscoy Yann,Kahn Gilles,Théry Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014048

Reference16 articles.

1. L. Magnusson, B. Nordström, The ALF proof editor and Us proof engine, in Proceedings of the 1993 Types Worshop, Nijmegen, LNCS 806, 1994.

2. D. Chester, The translation of Formal Proofs into English, Artificial Intelligence 7 (1976), 261–278, 1976.

3. A. Cohn, Proof Accounts in HOL, unpublished draft.

4. Y. Coscoy, Traductions de preuves en langage naturel pour le systeme Coq, Rapport de Stage, Ecole Polytechnique, 1994.

5. G. Dowek, A. Felty, H. Herbelin, G. Huet, C. Paulin-Mohring, B. Werner, The Coq Proof Assistant User's Guide, INRIA Technical Report no. 134, 1991.

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

1. Lassie: HOL4 tactics by example;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

2. Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General;Programming Languages and Systems;2018

3. Translating between Language and Logic: What Is Easy and What Is Difficult;Lecture Notes in Computer Science;2011

4. Argumentation within deductive reasoning;International Journal of Intelligent Systems;2006

5. Translating Formal Software Specifications to Natural Language;Logical Aspects of Computational Linguistics;2005