Proof Search Foundations for Logic Programming
作者： Inria Futurs , Dale Miller
DOI:
关键词:
摘要:
参考文章(3)
Dale Miller, Elaine Pimentel, Using Linear Logic to Reason about Sequent Systems theorem proving with analytic tableaux and related methods. pp. 2- 23 ,(2002) , 10.1007/3-540-45616-3_2
Jawahar Lal Chirimar, Proof theoretic approach to specification languages Proof theoretic approach to specification languages. ,(1995)
J.S. Hodas, D. Miller, Logic programming in a fragment of intuitionistic linear logic logic in computer science. ,vol. 110, pp. 327- 365 ,(1991) , 10.1006/INCO.1994.1036