Author:
Brown Chad E.,Urban Josef
Publisher
Springer International Publishing
Reference16 articles.
1. Bancerek, G.: On the characteristic and weight of a topological space. Formalized Math. 13(1), 163–169 (2005)
2. Benzmüller, C., Paulson, L.C., Sultana, N., Theiß, F.: The higher-order prover LEO-II. J. Autom. Reasoning 55(4), 389–404 (2015)
3. Brown, C.E.: Reducing higher-order theorem proving to a sequence of SAT problems. J. Autom. Reasoning 51(1), 57–77 (2013)
4. Church, A.: A formulation of the simple theory of types. J. Symbol. Logic 5, 56–68 (1940)
5. Committee, L.: Boolean properties of sets – definitions, April 2002.
http://mizar.org/JFM/EMM/xboole_0.html
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献