Author:
Dahn B. I.,Gehne J.,Honigmann Th.,Wolf A.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J. Avenhaus, J. Denzinger, and Matt. Fuchs. DISCOUNT: A System For Distributed Equational Deduction. In Proc. 6, RTA, pp. 397–402, Springer, 1995.
2. W. Bibel, S. Brüning, U. Egly, and T. Rath. KoMeT, system description. In Proc. CADE-12, pp. 783–787, Springer, 1994.
3. B. I. Dahn, J. Gehne, Th. Honigmann, L. Walther, and A. Wolf. Integrating Logical Functions with Ilf. TR 94-10, Humboldt Univ. Berlin, Math. Dept., 1994.
4. B. I. Dahn and A. Wolf. A Calculus Supporting Structured Proofs. Journal for Information Processing and Cybernetics (EIK), (5–6): pp. 261–276, 1994.
5. B. I. Dahn and A. Wolf. Natural Language Presentation and Combination of Automatically Generated Proofs. In Proc. FroCoS'96, pp. 175–192, Kluwer, 1996.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献