Edinburgh Research Explorer

The Synthesis of Logic Programs from Inductive Proofs

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

Standard

The Synthesis of Logic Programs from Inductive Proofs. / Bundy, Alan; Smaill, A.; Wiggins, G.

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. ed. / J. Lloyd. Springer Berlin Heidelberg, 1990. p. 135-149 (ESPRIT Basic Research Series).

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

Harvard

Bundy, A, Smaill, A & Wiggins, G 1990, The Synthesis of Logic Programs from Inductive Proofs. in J Lloyd (ed.), Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. ESPRIT Basic Research Series, Springer Berlin Heidelberg, pp. 135-149. https://doi.org/10.1007/978-3-642-76274-1_8

APA

Bundy, A., Smaill, A., & Wiggins, G. (1990). The Synthesis of Logic Programs from Inductive Proofs. In J. Lloyd (Ed.), Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (pp. 135-149). (ESPRIT Basic Research Series). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-76274-1_8

Vancouver

Bundy A, Smaill A, Wiggins G. The Synthesis of Logic Programs from Inductive Proofs. In Lloyd J, editor, Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. Springer Berlin Heidelberg. 1990. p. 135-149. (ESPRIT Basic Research Series). https://doi.org/10.1007/978-3-642-76274-1_8

Author

Bundy, Alan ; Smaill, A. ; Wiggins, G. / The Synthesis of Logic Programs from Inductive Proofs. Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. editor / J. Lloyd. Springer Berlin Heidelberg, 1990. pp. 135-149 (ESPRIT Basic Research Series).