Edinburgh Research Explorer

Extensions to the Estimation Calculus

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

Standard

Extensions to the Estimation Calculus. / Gow, Jeremy; Bundy, Alan; Green, Ian.

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. 258-272 (Lecture Notes in Computer Science; Vol. 1705).

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

Harvard

Gow, J, Bundy, A & Green, I 1999, Extensions to the Estimation Calculus. 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. 258-272. https://doi.org/10.1007/3-540-48242-3_16

APA

Gow, J., Bundy, A., & Green, I. (1999). Extensions to the Estimation Calculus. 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. 258-272). (Lecture Notes in Computer Science; Vol. 1705). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-48242-3_16

Vancouver

Gow J, Bundy A, Green I. Extensions to the Estimation Calculus. 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. 258-272. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-48242-3_16

Author

Gow, Jeremy ; Bundy, Alan ; Green, Ian. / Extensions to the Estimation Calculus. 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. 258-272 (Lecture Notes in Computer Science).