査読有り 筆頭著者 責任著者 2022年3月 Time-symmetric Turing machines for computable involutions Keisuke Nakano 巻 215 号 開始ページ 102748 終了ページ 102748 記述言語 英語 掲載種別 研究論文(学術雑誌) DOI 10.1016/j.scico.2021.102748 リンク情報 DOIhttps://doi.org/10.1016/j.scico.2021.102748 ID情報 DOI : 10.1016/j.scico.2021.102748ISSN : 0167-6423 エクスポート BibTeX RIS