Edinburgh Research Explorer

Automating change of representation for proofs in discrete mathematics (extended version)

Research output: Contribution to journalArticle

Standard

Automating change of representation for proofs in discrete mathematics (extended version). / Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison.

In: Mathematics in Computer Science, Vol. 10, No. 4, 10.2016, p. 429–457.

Research output: Contribution to journalArticle

Harvard

Raggi, D, Bundy, A, Grov, G & Pease, A 2016, 'Automating change of representation for proofs in discrete mathematics (extended version)' Mathematics in Computer Science, vol. 10, no. 4, pp. 429–457. DOI: 10.1007/s11786-016-0275-z

APA

Raggi, D., Bundy, A., Grov, G., & Pease, A. (2016). Automating change of representation for proofs in discrete mathematics (extended version). Mathematics in Computer Science, 10(4), 429–457. DOI: 10.1007/s11786-016-0275-z

Vancouver

Raggi D, Bundy A, Grov G, Pease A. Automating change of representation for proofs in discrete mathematics (extended version). Mathematics in Computer Science. 2016 Oct;10(4):429–457. Available from, DOI: 10.1007/s11786-016-0275-z

Author

Raggi, Daniel ; Bundy, Alan ; Grov, Gudmund ; Pease, Alison. / Automating change of representation for proofs in discrete mathematics (extended version). In: Mathematics in Computer Science. 2016 ; Vol. 10, No. 4. pp. 429–457