article · Science of Computer Programming · 2016

Towards Turing computability via coinduction

Cited by 5Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Ciaffaglione, A. (2016). Towards Turing computability via coinduction. Science of Computer Programming, 126, 31–51. https://doi.org/10.1016/j.scico.2016.02.004

MLA 9

Ciaffaglione, Alberto. “Towards Turing computability via coinduction.” Science of Computer Programming, vol. 126, 2016, pp. 31–51, https://doi.org/10.1016/j.scico.2016.02.004.

Chicago

Ciaffaglione, Alberto. 2016. “Towards Turing computability via coinduction.” Science of Computer Programming 126: 31–51. https://doi.org/10.1016/j.scico.2016.02.004.

Harvard

Ciaffaglione, A. (2016) ‘Towards Turing computability via coinduction’, Science of Computer Programming, 126, pp. 31–51. Available at: https://doi.org/10.1016/j.scico.2016.02.004.

BibTeX

@article{ciaffaglione2016towards,
  title = {{Towards Turing computability via coinduction}},
  author = {Ciaffaglione, Alberto},
  journal = {Science of Computer Programming},
  volume = {126},
  pages = {31--51},
  year = {2016},
  doi = {10.1016/j.scico.2016.02.004}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.