Edinburgh Research Explorer

Conjecture Synthesis for Inductive Theories

Research output: Contribution to journalArticle

Standard

Conjecture Synthesis for Inductive Theories. / Johansson, Moa; Dixon, Lucas; Bundy, Alan.

In: Journal of Automated Reasoning, Vol. 47, No. 3, 10.2011, p. 251-289.

Research output: Contribution to journalArticle

Harvard

Johansson, M, Dixon, L & Bundy, A 2011, 'Conjecture Synthesis for Inductive Theories' Journal of Automated Reasoning, vol. 47, no. 3, pp. 251-289. DOI: 10.1007/s10817-010-9193-y

APA

Johansson, M., Dixon, L., & Bundy, A. (2011). Conjecture Synthesis for Inductive Theories. Journal of Automated Reasoning, 47(3), 251-289. DOI: 10.1007/s10817-010-9193-y

Vancouver

Johansson M, Dixon L, Bundy A. Conjecture Synthesis for Inductive Theories. Journal of Automated Reasoning. 2011 Oct;47(3):251-289. Available from, DOI: 10.1007/s10817-010-9193-y

Author

Johansson, Moa ; Dixon, Lucas ; Bundy, Alan. / Conjecture Synthesis for Inductive Theories. In: Journal of Automated Reasoning. 2011 ; Vol. 47, No. 3. pp. 251-289