Skip to main content

Logic programming and substitutions

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 199))

Included in the following conference series:

  • 117 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. Apt, van Emden: "Contributions to the theory of logic programming". JACM, Vol. 29, 1982, p.p. 841–862.

    Google Scholar 

  2. Frandsen: "Logic programming, substitutions and finite computability". DAIMI PB-186, January 1985. Computer Science Department, Aarhus University. (42 pages).

    Google Scholar 

  3. Lloyd: "Foundations of Logic programming". Springer Verlag 1984.

    Google Scholar 

  4. Scott: "Domains for denotational semantics". A corrected and expanded version of a paper prepared for ICALP'82, Aarhus, Denmark, July 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Lothar Budach

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Frandsen, G. (1985). Logic programming and substitutions. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1985. Lecture Notes in Computer Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028799

Download citation

  • DOI: https://doi.org/10.1007/BFb0028799

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15689-5

  • Online ISBN: 978-3-540-39636-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics