Author:
Siekmann Jörg,Benzmüller Christoph,Autexier Serge
Subject
Applied Mathematics,Logic
Reference101 articles.
1. S. Allen, R. Constable, R. Eaton, C. Kreitz, L. Lorigo, The Nuprl open logical environment, in: [59]
2. TPS: A theorem proving system for classical type theory;Andrews;J. Automat. Reason.,1996
3. S. Autexier, Hierarchical contextual reasoning, PhD thesis, Computer Science Department, Saarland University, Saarbrücken, Germany, 2003
4. The CoRe calculus;Autexier,2005
5. Assertion-level proof representation with under-specification;Autexier;Electronic Notes in Theoret. Comput. Sci.,2003
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献