Author:
Drabent Włodzimierz,Małuszyński Jan
Reference10 articles.
1. Apt, K.R. and van Emden, M.H., “Contributions to the Theory of Logic Programming”, J.ACM. 29, 3 (July 1982), 841–862
2. D.L. Bowen, L. Byrd, F.C.N. Pereira, L.M. Pereira and D.H.D. Warren, “Prolog-20 user's manual”, 1984
3. W.Drabent and J. Małuszyński, Proving runtime properties of logic programs, Research Report LITH-IDA-R-86-23, Linköping University, July 1986
4. Floyd, R.W., “Assigning Meanings to Programs”, Proc.Symp.Appl.Math., Vol. 19: Mathematical Aspects of Computer Science (J.T.Schwartz, ed.), pp. 19–32, American Mathematical Society, Providence, Rhode Island, 1967
5. Francez,N., Grumberg,O., Katz,S., Pnuelli,A., “Proving Termination of Prolog Programs” in “Logics of Programs. Proceedings, 1985”, ed. by R.Parikh, Springer Lecture Notes in Computer Science 193, 89–105
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. S-Semantics–an Example;Logic-Based Program Synthesis and Transformation;2022
2. Total correctness of logic programs: A formal approach;Extensions of Logic Programming;1996