京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20883号 / 理博第4335号 / 新制||理||1623(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 西村 進, 教授 上 正明, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM
Identifer | oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/232218 |
Date | 26 March 2018 |
Creators | Yanagisawa, Nayuta |
Contributors | 西村, 進, 上, 正明, 長谷川, 真人, 栁澤, 名由太, ヤナギサワ, ナユタ |
Publisher | Kyoto University, 京都大学 |
Source Sets | Kyoto University |
Language | English |
Detected Language | English |
Type | doctoral thesis, Thesis or Dissertation |
Format | application/pdf |
Rights | 許諾条件により本文は2018-12-01に公開, This is a post-peer-review, pre-copyedit version of an article published in Theory of Computing Systems. The final authenticated version is available online at: https://doi.org/10.1007/s00224-017-9819-0. |
Relation | https://doi.org/10.1007/s00224-017-9819-0 |
Page generated in 0.0021 seconds