Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 堀畑 佳宏 (著者)
  3. 1件

1 0 0 0 OA Concatenationの理論と本質的決定不可能性 (形式体系と計算理論)

著者
堀畑 佳宏
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.1729, pp.18-35, 2011-02