Inductive Synthesis of Logic Programs by Composition of
                Combinatory Program Schemes

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation (Lopstr'98, selected papers), LNCS 1559
Publisher	Springer
Publication date	1999
Pages	143-158
Publication status	Published - 1999

OpenUrl availability

@inproceedings{67299f24f70d470f890cf6c4457fec94,

title = "Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes",

author = "Nilsson, \{J{\o}rgen Fischer\} and Andreas Hamfelt",

year = "1999",

language = "English",

pages = "143--158",

booktitle = "Logic-Based Program Synthesis and Transformation (Lopstr'98, selected papers), LNCS 1559",

publisher = "Springer",

}

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. / Nilsson, Jørgen Fischer; Hamfelt, Andreas.
Logic-Based Program Synthesis and Transformation (Lopstr'98, selected papers), LNCS 1559. Springer, 1999. p. 143-158.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review