Author:
McDowell Raymond,Miller Dale
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Logic programming with focussing proofs in linear logic;Andreoli;J. Logic Comput.,1992
2. J. Chirimar, Proof theoretic approach to specification languages, Ph.D. Thesis, University of Pennsylvania, February 1995.
3. A formulation of the simple theory of types;Church;J. Symbolic Logic,1940
4. K.L. Clark, Negation as failure, in: J. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 293–322.
5. L.H. Eriksson, A finitary version of the calculus of partial inductive definitions, in: L.-H. Eriksson, L. Hallnäs, Schroeder-Heister (Eds.), Proceedings of the Second International Workshop on Extensions to Logic Programming, Vol. 596 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 1991, pp. 89–134.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献