Edinburgh Research Archive
Toggle navigation
View Item
ERA Home
Informatics, School of
Informatics Publications
View Item
ERA Home
Informatics, School of
Informatics Publications
View Item
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof
Proceedings of LoPSTr-91
View/
Open
BundyA_Synthesis and Transformation.pdf (2.209Mb)
Date
1991
Author
Wiggins, G. A.
Bundy, Alan
Kraan, I.
Hesketh, J.
Metadata
Show full item record
URI
http://hdl.handle.net/1842/4517
Collections
Informatics Publications
Search ERA
This Collection
All of ERA
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
This Collection
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
Login
Register
