Synthesis of Programs in Computational Logic

D. Basin, Y. DeVille, P. Flener, A. Hamfelt, Jørgen Fischer Nilsson

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

Original language	English
Title of host publication	Program Development in Computational Logic
Volume	Lecture Notes in Computer Science, vol. 3049
Publication date	2004
Publication status	Published - 2004

Access to Document

@inbook{23e568c92623411da800b575f7d2252a,

title = "Synthesis of Programs in Computational Logic",

author = "D. Basin and Y. DeVille and P. Flener and A. Hamfelt and Nilsson, {J{\o}rgen Fischer}",

year = "2004",

language = "English",

volume = "Lecture Notes in Computer Science, vol. 3049",

booktitle = "Program Development in Computational Logic",

}