Author:
Pavlov Vladimir,Pak Vadim
Publisher
Springer International Publishing
Reference25 articles.
1. Constable, R. L.: On building constructive formal theories of computation. Noting the roles of Turing, Church, and Brouwer. In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2012), pp. 2–8 (2012)
2. Degtyarev, A., Voronkov, A.: The inverse method. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 179–272. Elsevier, Amsterdam (2001)
3. Dragalin, A.G.: Mathematical intuitionism. Introduction to proof theory (Russian). Nauka, Moscow (1979). English transl. in Translations of Mathematical Monographs 67 (1988)
4. Imogen GitHub page. https://github.com/seanmcl/imogen
5. Kleene, S.C.: Permutability of inferences in Gentzen’s calculi LK and LJ. Mem. Amer. Math. Soc. 10, 1–26 (1952). Russian transl. in “Matematicheskaya teoriya logicheskogo vyvoda”, 208–236 “Nauka”, Moscow (1967)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献