Author:
Kreitz Christoph,Otten Jens,Schmitt Stephan,Pientka Brigitte
Reference25 articles.
1. Altenkirch, T., Gaspes, V., Nordström, B., and von Sydow, B. (1994). A user’s guide to ALF. University of Göteborg.
2. Bates, J. L. and Constable, R. L. (1985). Proofs as programs. ACM Transactions on Programming Languages and Systems, 7 (1): 113–136.
3. Bibel, W. (1981). On matrices with connections. Journal of the ACM, 28: 633–645.
4. Bibel, W. (1987). Automated Theorem Proving. Vieweg Verlag, second edition.
5. Bibel, W. (1992). Deduktion —Automatisierung der Logik. Oldenbourg.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献