Edinburgh Research Explorer

Case-Analysis for Rippling and Inductive Proof

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

Standard

Case-Analysis for Rippling and Inductive Proof. / Johansson, Moa; Dixon, Lucas; Bundy, Alan.

Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. ed. / M. Kaufmann; L. C. Paulson. Springer-Verlag GmbH, 2010. p. 291-306 (Lecture Notes in Computer Science; Vol. 6172).

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

Harvard

Johansson, M, Dixon, L & Bundy, A 2010, Case-Analysis for Rippling and Inductive Proof. in M Kaufmann & LC Paulson (eds), Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6172, Springer-Verlag GmbH, pp. 291-306. DOI: 10.1007/978-3-642-14052-5_21

APA

Johansson, M., Dixon, L., & Bundy, A. (2010). Case-Analysis for Rippling and Inductive Proof. In M. Kaufmann, & L. C. Paulson (Eds.), Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings (pp. 291-306). (Lecture Notes in Computer Science; Vol. 6172). Springer-Verlag GmbH. DOI: 10.1007/978-3-642-14052-5_21

Vancouver

Johansson M, Dixon L, Bundy A. Case-Analysis for Rippling and Inductive Proof. In Kaufmann M, Paulson LC, editors, Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer-Verlag GmbH. 2010. p. 291-306. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-642-14052-5_21

Author

Johansson, Moa ; Dixon, Lucas ; Bundy, Alan. / Case-Analysis for Rippling and Inductive Proof. Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. editor / M. Kaufmann ; L. C. Paulson. Springer-Verlag GmbH, 2010. pp. 291-306 (Lecture Notes in Computer Science).