Edinburgh Research Explorer

Proofs About Lists Using Ellipsis

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

Standard

Proofs About Lists Using Ellipsis. / Bundy, Alan; Richardson, Julian.

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. ed. / Harald Ganzinger; David McAllester; Andrei Voronkov. Springer-Verlag GmbH, 1999. p. 1-12 (Lecture Notes in Computer Science; Vol. 1705).

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

Harvard

Bundy, A & Richardson, J 1999, Proofs About Lists Using Ellipsis. in H Ganzinger, D McAllester & A Voronkov (eds), Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Lecture Notes in Computer Science, vol. 1705, Springer-Verlag GmbH, pp. 1-12. https://doi.org/10.1007/3-540-48242-3_1

APA

Bundy, A., & Richardson, J. (1999). Proofs About Lists Using Ellipsis. In H. Ganzinger, D. McAllester, & A. Voronkov (Eds.), Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings (pp. 1-12). (Lecture Notes in Computer Science; Vol. 1705). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-48242-3_1

Vancouver

Bundy A, Richardson J. Proofs About Lists Using Ellipsis. In Ganzinger H, McAllester D, Voronkov A, editors, Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Springer-Verlag GmbH. 1999. p. 1-12. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-48242-3_1

Author

Bundy, Alan ; Richardson, Julian. / Proofs About Lists Using Ellipsis. Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. editor / Harald Ganzinger ; David McAllester ; Andrei Voronkov. Springer-Verlag GmbH, 1999. pp. 1-12 (Lecture Notes in Computer Science).