Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. K.R. Apt, M.H. van Emden: Contributions to the theory of logic programming, JACM 29, 3 (1982), pp. 841–862.
2. A. Arnold, M. Nivat: The metric space of infinite trees. Algebraic and topological properties, Fundamenta Informaticae 3, 4 (1980), pp. 445–476.
3. E.W. Dijkstra: A discipline of programming, Prentice Hall, (1976).
4. F. Hausdorff: Set theory, Chelsea Publishing Company, New York (1962).
5. R.A. Kowalski: Logic for problem solving, Elsevier North Holland, New York, (1979).
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献