Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/lopstr/WigginsBKH91
AU - Wiggins, Geraint A.
AU - Bundy, Alan
AU - Kraan, Ina
AU - Hesketh, Jane
TI - Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.
BT - Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991
SP - 27
EP - 45
PY - 1991//
DO - 10.1007/978-1-4471-3494-7_3
UR - https://doi.org/10.1007/978-1-4471-3494-7_3
ER -
