Author:
Bezem Marc,Coquand Thierry
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Avron, A.: Gentzen-type systems, resolution and tableaux. Journal of Automated Reasoning 10(2), 265–281 (1993)
2. Bezem, M.: Website for geometric logic,
http://www.ii.uib.no/~bezem/GL
3. Bezem, M., Coquand, T.: Newman’s Lemma – a Case Study in Proof Automation and Geometric Logic. In: Gurevich, Y. (ed.) The Logic in Computer Science Column. Bulletin of the European Association for Theoretical Computer Science, vol. 79, pp. 86–100 (February 2003); Also in Paun, G., Rozenberg, G., Salomaa, A. (eds.): Current trends in Theoretical Computer Science, vol. 2, pp. 267–282. World Scientific, Singapore (2004)
4. Bezem, M.A., Hendriks, D., de Nivelle, H.: Automated proof construction in type theory using resolution. Journal of Automated Reasoning 29(3–4), 253–275 (2003)
5. Blass, A.: Topoi and computation. Bulletin of the EATCS 36, 57–65 (1998)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献