Logic programming and substitutions

  • Gudmund Frandsen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 199)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [1]
    Apt, van Emden: "Contributions to the theory of logic programming". JACM, Vol. 29, 1982, p.p. 841–862.Google Scholar
  2. [2]
    Frandsen: "Logic programming, substitutions and finite computability". DAIMI PB-186, January 1985. Computer Science Department, Aarhus University. (42 pages).Google Scholar
  3. [3]
    Lloyd: "Foundations of Logic programming". Springer Verlag 1984.Google Scholar
  4. [4]
    Scott: "Domains for denotational semantics". A corrected and expanded version of a paper prepared for ICALP'82, Aarhus, Denmark, July 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Gudmund Frandsen
    • 1
  1. 1.Department of Computer ScienceAarhus UniversityÅrhus CDenmark

Personalised recommendations