Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

Edinburgh Research Archive

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4517

This item has been viewed 25 times in the last year. View Statistics

Files in This Item:

File	Description	Size	Format
BundyA_Synthesis and Transformation.pdf		2.26 MB	Adobe PDF	View/Open

Title:	Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof
Authors:	Wiggins, G. A. Bundy, Alan Kraan, I. Hesketh, J.
Issue Date:	1991
Journal Title:	Proceedings of LoPSTr-91
URI:	http://hdl.handle.net/1842/4517
Appears in Collections:	Informatics Publications