Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Bezem,2005
2. de Nivelle, H.: Classical logic with partial functions. J. Autom. Reasoning 47(4), 399–425 (2011)
3. de Nivelle, H.: Theorem proving for classical logic with partial functions by reduction to Kleene logic. J. Logic Comput. (2014). ( http://logcom.oxfordjournals.org/ . April 2014)
4. de Nivelle, H.: Theorem proving for logic with partial functions by reduction to Kleene logic. In: Benzmüller, C., Otten, J. (eds.) VSL Workshop Proceedings of Automated Reasoning in Quantified Non-Classical Logics (ARQNL), pp. 71–85 (2014)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Nivelle de,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献