Part of the Lecture Notes in Computer Science book series (LNCS, volume 199)
Logic programming and substitutions
Unable to display preview. Download preview PDF.
- Apt, van Emden: "Contributions to the theory of logic programming". JACM, Vol. 29, 1982, p.p. 841–862.Google Scholar
- Frandsen: "Logic programming, substitutions and finite computability". DAIMI PB-186, January 1985. Computer Science Department, Aarhus University. (42 pages).Google Scholar
- Lloyd: "Foundations of Logic programming". Springer Verlag 1984.Google Scholar
- Scott: "Domains for denotational semantics". A corrected and expanded version of a paper prepared for ICALP'82, Aarhus, Denmark, July 1982.Google Scholar
© Springer-Verlag Berlin Heidelberg 1985