A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity-Reference-Cited by-同舟云学术

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity

Published:2006 Issue: Volume: Page:126-142
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Autexier Serge,Benzmüller Christoph,Dietrich Dominik,Meier Andreas,Wirth Claus-Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11618027_9

Reference18 articles.

1. Lecture Notes in Computer Science;P.B. Andrews,2000

2. Autexier, S., Hutter, D., Langenstein, B., Mantel, H., Rock, G., Schairer, A., Stephan, W., Vogt, R., Wolpers, A.: VSE: Formal methods meet industrial needs. In: International Journal on Software Tools for Technology Transfer, Special issue on Mechanized Theorem Proving for Technology. Springer, Heidelberg (1998)

3. Lecture Notes in Artificial Intelligence;J. Avenhaus,2003

4. Texts in Theoretical Computer Science, An EATCS Series;Y. Bertot,2004

5. Cheikhrouhou, L., Sorge, V.: PDS — A Three-Dimensional Data Structure for Proof Plans. In: Proc. of the Int. Conf. on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, ACIDCA 2000 (2000)

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

1. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App;Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education;2020-06-02

2. , , and Non-Permutability of -Steps;Journal of Symbolic Computation;2012-09

3. Towards an Intelligent Tutor for Mathematical Proofs;Electronic Proceedings in Theoretical Computer Science;2012-02-21

4. Formal Proof: Reconciling Correctness and Understanding;Lecture Notes in Computer Science;2009

5. Presenting Proofs with Adapted Granularity;KI 2009: Advances in Artificial Intelligence;2009