Author:
Claessen Koen,Lillieström Ann
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. Benzmüller, C., Theiss, F., Paulson, L., Fietzke, A.: LEO-II—a cooperative automatic theorem prover for higher-order logic. In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, 12–15 August, 2008, Proceedings. LNCS, vol. 5195, pp. 162–170. Springer (2008)
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Universitext. Springer (2001)
3. Claessen, K., Lillieström, A.: Automated inference of finite unsatisfiability. In: CADE-22: Proceedings of the 22nd International Conference on Automated Deduction, pp. 388–403. Springer, Berlin, Heidelberg (2009)
4. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: Proc. of Workshop on Model Computation (MODEL) (2003)
5. Curry, H.B.: Foundations of Mathematical Logic. Courier Dover Publications (1977)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献