Edinburgh Research Explorer

Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. / Wiggins, G. A.; Bundy, Alan; Kraan, I.; Hesketh, J.

Proceedings of LoPSTr-91. 1991.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Wiggins, GA, Bundy, A, Kraan, I & Hesketh, J 1991, Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. in Proceedings of LoPSTr-91.

APA

Wiggins, G. A., Bundy, A., Kraan, I., & Hesketh, J. (1991). Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. In Proceedings of LoPSTr-91

Vancouver

Wiggins GA, Bundy A, Kraan I, Hesketh J. Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. In Proceedings of LoPSTr-91. 1991.

Author

Wiggins, G. A. ; Bundy, Alan ; Kraan, I. ; Hesketh, J./ Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. Proceedings of LoPSTr-91. 1991.