Author:
Rydeheard D. E.,Burstall R. M.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Burstall R.M. (1980) Electronic Category Theory. Proc. Ninth Annual Symposium on the Mathematical Foundations of Computer Science. Rydzyua, Poland.
2. Burstall R.M. and Landin P.J. (1969) Programs and Their Proofs: An Algebraic Approach. Machine Intelligence 4. Edinburgh Univ. Press. pp 17–44.
3. Burstall R.M. and Rydeheard D.E. (1986) Computational Category Theory. To appear.
4. Colmerauer A. et al. (1973) Etude et realisation d'un système PROLOG. Convention de Research IRIA-Sesori No. 77030.
5. Eriksson L.H. (1984) Syntheis of a Unification Algorithm in a Logic Programming Calculus. Journal of Logic Programming. Vol. 1. No. 1.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献