Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
2. Andreoli, J.M., Pareschi, R.: Linear objects: Logical processes with built-in inheritance. New Generation Computing 9(3-4), 445–473 (1991)
3. Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. of the ACM 29(3), 841–862 (1982)
4. LNAI;D. Baelde,2007
5. Baelde, D., Miller, D.: Least and greatest fixed points in linear logic: extended version. Technical report, available from the first author’s web page (April 2007)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献