Author:
Dowek Gilles,Werner Benjamin
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Crabbé, M.: Non-normalisation de la théorie de Zermelo, Manuscript (1974)
2. Dowek, G., Hardin, T., Kirchner, C.: Theorem proving modulo. Journal of Automated Reasoning 31, 33–72 (2003)
3. Dowek, G., Werner, B.: Proof normalization modulo. The Journal of Symbolic Logic 68(4), 1289–1316 (2003)
4. Dowek, G., Werner, B.: Arithmetic as a theory modulo, Manuscript (2004)
5. Dowek, G., Werner, B.: A constructive proof of Skolem theorem for constructive logic, Manuscript (2004)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献