Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes

Jørgen Fischer Nilsson, Andreas Hamfelt

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationLogic-Based Program Synthesis and Transformation (Lopstr'98, selected papers), LNCS 1559
    PublisherSpringer
    Publication date1999
    Pages143-158
    Publication statusPublished - 1999

    Cite this

    Nilsson, J. F., & Hamfelt, A. (1999). Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. In Logic-Based Program Synthesis and Transformation (Lopstr'98, selected papers), LNCS 1559 (pp. 143-158). Springer.