A compositional semantics for normal open programs

S. Etalle, F. Teusink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationLogic Programing (Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996)
    EditorsM.J. Mahler
    PublisherMIT Press
    Pages468-482
    ISBN (Print)0-262-63173-3
    Publication statusPublished - 1996

    Cite this

    Etalle, S., & Teusink, F. (1996). A compositional semantics for normal open programs. In M. J. Mahler (Ed.), Logic Programing (Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996) (pp. 468-482). MIT Press.