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
    ISBN (Print)0-262-63173-3
    Publication statusPublished - 1996

    Cite this