著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Holger Bock Axelsen and Robert Glück,On reversible Turing machines and their function universality,Acta Informatica,0001-5903,Springer Science and Business Media LLC,2016-01-27,53,5,509-543,https://cir.nii.ac.jp/crid/1363951795216798336,https://doi.org/10.1007/s00236-015-0253-y