Edinburgh Research Explorer

Using a generalisation critic to find bisimulations for coinductive proofs

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

Standard

Using a generalisation critic to find bisimulations for coinductive proofs. / Dennis, Louise; Bundy, Alan; Green, Ian.

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Springer-Verlag GmbH, 1997. p. 276-290 (Lecture Notes in Computer Science; Vol. 1249).

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

Harvard

Dennis, L, Bundy, A & Green, I 1997, Using a generalisation critic to find bisimulations for coinductive proofs. in Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Lecture Notes in Computer Science, vol. 1249, Springer-Verlag GmbH, pp. 276-290. DOI: 10.1007/3-540-63104-6_29

APA

Dennis, L., Bundy, A., & Green, I. (1997). Using a generalisation critic to find bisimulations for coinductive proofs. In Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings (pp. 276-290). (Lecture Notes in Computer Science; Vol. 1249). Springer-Verlag GmbH. DOI: 10.1007/3-540-63104-6_29

Vancouver

Dennis L, Bundy A, Green I. Using a generalisation critic to find bisimulations for coinductive proofs. In Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Springer-Verlag GmbH. 1997. p. 276-290. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-63104-6_29

Author

Dennis, Louise ; Bundy, Alan ; Green, Ian. / Using a generalisation critic to find bisimulations for coinductive proofs. Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Springer-Verlag GmbH, 1997. pp. 276-290 (Lecture Notes in Computer Science).