Add to ORKGin Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp. 325-327, Springerstatus: publishe
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
pp. 277-278 in Proc. NAIC'98, eds. H. La Poutré, J. van den Herik, 1998status: publishe
in Logic Based Program Synthesis and Transformation, Revised Selected Papers, ed. Michael Leuschel, ...
none1noThis volume contains a selection of the papers presented at LOPSTR 2019, the 29th Internatio...
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
© Springer-Verlag Berlin Heidelberg 1998. In this paper, we develop a solid theoretical foundation f...
This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(00-6-1) / BLDSC - British Li...
We describe a system for the synthesis of logic programs from specifications based on higher-order l...
1 Introduction Program synthesis is concerned with deriving programs from their specifications. Suc...
In program synthesis, program transformation can be done on the fly, based on information generated ...
1 This report describes SP, a system for specialising logic programs. The report functions as a user...
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
pp. 277-278 in Proc. NAIC'98, eds. H. La Poutré, J. van den Herik, 1998status: publishe
in Logic Based Program Synthesis and Transformation, Revised Selected Papers, ed. Michael Leuschel, ...
none1noThis volume contains a selection of the papers presented at LOPSTR 2019, the 29th Internatio...
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
© Springer-Verlag Berlin Heidelberg 1998. In this paper, we develop a solid theoretical foundation f...
This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(00-6-1) / BLDSC - British Li...
We describe a system for the synthesis of logic programs from specifications based on higher-order l...
1 Introduction Program synthesis is concerned with deriving programs from their specifications. Suc...
In program synthesis, program transformation can be done on the fly, based on information generated ...
1 This report describes SP, a system for specialising logic programs. The report functions as a user...
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...