Add to ORKGThis book contains the papers presented at the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) held on September 18-20, 2012 in Leuven. LOPSTR 2012 is co-located with PPDP 2012, the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.nrpages: 230status: publishe
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
none1noThis volume contains a selection of the papers presented at LOPSTR 2019, the 29th Internatio...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
Congrès (éditeur). internationale.International audienceThis volume contains the papers presented at...
This volume contains the papers presented at CICLOPS’12: 12th International Colloquium on Implementa...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(00-6-1) / BLDSC - British Li...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kie...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
none1noThis volume contains a selection of the papers presented at LOPSTR 2019, the 29th Internatio...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
Congrès (éditeur). internationale.International audienceThis volume contains the papers presented at...
This volume contains the papers presented at CICLOPS’12: 12th International Colloquium on Implementa...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(00-6-1) / BLDSC - British Li...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kie...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...
Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: pu...
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...