A swiss pocket knife for computability
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
A swiss pocket knife for computability. / Jones, Neil.
Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. ed. / Anindya Banerjee; Olivier Danvy; Kyung-Goo Doh; John Hatcliff. 2013. p. 1-17 (Electronic Proceedings in Theoretical Computer Science, Vol. 129).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Jones, N 2013, A swiss pocket knife for computability. in A Banerjee, O Danvy, K-G Doh & J Hatcliff (eds), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Electronic Proceedings in Theoretical Computer Science, vol. 129, pp. 1-17. https://doi.org/10.4204/EPTCS.129.1
APA
Jones, N. (2013). A swiss pocket knife for computability. In A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (Eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 (pp. 1-17). Electronic Proceedings in Theoretical Computer Science Vol. 129 https://doi.org/10.4204/EPTCS.129.1
Vancouver
Jones N. A swiss pocket knife for computability. In Banerjee A, Danvy O, Doh K-G, Hatcliff J, editors, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. 2013. p. 1-17. (Electronic Proceedings in Theoretical Computer Science, Vol. 129). https://doi.org/10.4204/EPTCS.129.1
Author
Bibtex
@inbook{59b0fa34056e4b21a421b701edb9b5e8,
title = "A swiss pocket knife for computability",
keywords = "Computer Science - Programming Languages, Computer Science - Computational Complexity",
author = "Neil Jones",
year = "2013",
doi = "10.4204/EPTCS.129.1",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "1--17",
editor = "Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff",
booktitle = "Semantics, Abstract Interpretation, and Reasoning about Programs",
}
RIS
TY - CHAP
T1 - A swiss pocket knife for computability
AU - Jones, Neil
PY - 2013
Y1 - 2013
KW - Computer Science - Programming Languages, Computer Science - Computational Complexity
U2 - 10.4204/EPTCS.129.1
DO - 10.4204/EPTCS.129.1
M3 - Book chapter
T3 - Electronic Proceedings in Theoretical Computer Science
SP - 1
EP - 17
BT - Semantics, Abstract Interpretation, and Reasoning about Programs
A2 - Banerjee, Anindya
A2 - Danvy, Olivier
A2 - Doh, Kyung-Goo
A2 - Hatcliff, John
ER -
ID: 169141001