Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Hallnäs, L. “Partial Inductive Definitions”, Theoretical Computer Science vol. 87(1) 1991 pp. 115–142.
2. Hallnäs, L., Schroeder-Heister, P. “A Proof Theoretic Approach to Logic Programming”, Journal of Logic and Computation vol. 1(2) 1990 pp. 261–283 and vol. 1(5) 1991 pp. 635–660.
3. Kreuger, P. “GCLA II—A definitional approach to control”, SICS Research Report R92:09, Swedish Institute of Computer Science, Stockholm 1992. Also published (minus some minor additions and corrections) as Lic. Dissertation — Dept. of Computer Science, Chalmers University of Technology, Göteborg 1990 and in [11] pp. 239–297.
4. Kleene S. C. “Introduction to Metamathematics”, North-Holland 1952 pp. 442–448.
5. Schroeder-Heister, P. “Structural Frameworks, substructural logics and the role of elimination inferences”, in Plotkin, G., Huet, G. (Eds.), “Logical Frameworks”. Cambridge University Press 1991 pp. 385–403.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献