Author:
Francez Nissim,Grumberg Orna,Katz Shmuel,Pnueli Amir
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. K.R. Apt, M.H. Van Emden: "Contributions to the theory of logic programming", JACM 29, 3 (July 1982).
2. W.F. Clockskin, C.S.Mellish: "Programming in Prolog", Springer (1981).
3. M.H. Van Emden, R.A. Kowalski: "The semantics of predicate logic as a programming language", JACM 23,4 (1976).
4. R.M.Floyd: "Assigning meanings to programs", proc AMS symp. in app. math. 19 Providence, R.I (1967)
5. N.Francez, B.Klebanski, A.Pnueli: "Backtracking in recursive computations", Acta Informatica 8 (1977).
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献