Edinburgh Research Explorer

Constructing Induction Rules for Deductive Synthesis Proofs

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

Standard

Constructing Induction Rules for Deductive Synthesis Proofs. / Bundy, Alan; Dixon, Lucas; Gow, Jeremy; Fleuriot, Jacques.

Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153 2005. p. 3–21 (Electronic Notes in Theoretical Computer Science).

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

Harvard

Bundy, A, Dixon, L, Gow, J & Fleuriot, J 2005, Constructing Induction Rules for Deductive Synthesis Proofs. in Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). vol. 153, Electronic Notes in Theoretical Computer Science, pp. 3–21. https://doi.org/10.1016/j.entcs.2005.08.003

APA

Bundy, A., Dixon, L., Gow, J., & Fleuriot, J. (2005). Constructing Induction Rules for Deductive Synthesis Proofs. In Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005) (Vol. 153, pp. 3–21). (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2005.08.003

Vancouver

Bundy A, Dixon L, Gow J, Fleuriot J. Constructing Induction Rules for Deductive Synthesis Proofs. In Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153. 2005. p. 3–21. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2005.08.003

Author

Bundy, Alan ; Dixon, Lucas ; Gow, Jeremy ; Fleuriot, Jacques. / Constructing Induction Rules for Deductive Synthesis Proofs. Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153 2005. pp. 3–21 (Electronic Notes in Theoretical Computer Science).