Edinburgh Research Explorer

Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts

Research output: Contribution to journalArticle

Standard

Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. / Dennis, L.; Bundy, Alan; Green, I.

In: Annals of Mathematics and Artificial Intelligence, Vol. 29, No. 1-4, 2000, p. 99-138.

Research output: Contribution to journalArticle

Harvard

Dennis, L, Bundy, A & Green, I 2000, 'Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts' Annals of Mathematics and Artificial Intelligence, vol. 29, no. 1-4, pp. 99-138. DOI: 10.1023/A:1018940332714

APA

Dennis, L., Bundy, A., & Green, I. (2000). Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. Annals of Mathematics and Artificial Intelligence, 29(1-4), 99-138. DOI: 10.1023/A:1018940332714

Vancouver

Dennis L, Bundy A, Green I. Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. Annals of Mathematics and Artificial Intelligence. 2000;29(1-4):99-138. Available from, DOI: 10.1023/A:1018940332714

Author

Dennis, L. ; Bundy, Alan ; Green, I./ Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts. In: Annals of Mathematics and Artificial Intelligence. 2000 ; Vol. 29, No. 1-4. pp. 99-138