Author:
Strecker M.,Luther M.,Von Henke F.
Reference27 articles.
1. Barendregt, H.: 1984, The Lambda Calculus. Elsevier Science Publishers.
2. Barras et al., B.: 1997, `The Coq Proof Assistant Reference Manual, Version 6.1’. INRIA Rocquencourt — CNRS-ENS Lyon.
3. Bibel, W: 1982, `Computationally Improved Versions of Herbrand’s Theorem’. In: J. Stern (ed.): Proc. Herbrand Colloquium. pp. 11–28, North Holland.
4. Constable et al., R.: 1986, Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall.
5. Dowek, G.: 1993, `A complete proof synthesis method for the cube of type systems’. Journal of Logic and Computation
3 (3), 287–315.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. More On Implicit Syntax;Automated Reasoning;2001