Author:
Donnelly Kevin,Gibson Tyler,Krishnaswami Neel,Magill Stephen,Park Sungwoo
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 197–347 (1992)
2. Armelín, P.: Logic programming with bunched logic. PhD thesis, University of London (2002)
3. Lecture Notes in Artificial Intelligence;P.A. Armelín,2001
4. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, ch. 2, pp. 19–100. North Holland, Amsterdam (2001)
5. Beal, F., Méry, D., Galmiche, D.: Bill: A theorem prover for propositional bi logic
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献