Skip to main content
SpringerLink
Log in
Book cover

International Conference on Fundamentals of Computation Theory

FCT 1985: Fundamentals of Computation Theory pp 146–158Cite as

Logic programming and substitutions

  • Conference paper
  • First Online:

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

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

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

  1. Department of Computer Science, Aarhus University, Ny Munkegade, DK-8000, Århus C, Denmark

    Gudmund Frandsen

Authors
  1. Gudmund Frandsen
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Search

Navigation