Author:
Fronhöfer B.,Caferra R.,Jacquet P.
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Bibel W.: “Programmieren in der Sprache der Praedikatenlogik” Habilitationsarbeit (rejected), TU München 1975. Shortened Version: “Praedikatives Programmieren” in: Automata theory and formal languages, LNCS 33, Springer, Berlin 1975, pp.274–283.
2. Burstall R., Darlington J.: “A transformation system for developing recursive programs” JACM, Vol.24 No 1, January 1977, pp.44–67.
3. Clark K.: “Negation as failure” in “Logic and data bases” (Gallaire, Minker Eds.) Plenum Press 1978, pp.293–322.
4. Hogger C.J.: “Derivation of logic programs” JACM, Vol. 28, No. 2, April 1981, pp. 372–392.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献