UMCS-92-11-2 Towards a Formal Framework for Deductive Synthesis of Logic Programs UMCS-92-11-1 Topic in Type Theory UMCS-92-6-2 Declarative Integration of Object-Oriented Programming and Knowledge Representation £10.00

your order. Payment should be made by sterling cheque made payable to ‘The University of Manchester.’ The following reports are available free of charge, unless otherwise stated: UMCS-93-2-3 A Framework for Experimental Analysis of Parallel Computin