Return to search

Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems / 木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さ

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19129号 / 情博第575号 / 新制||情||101(附属図書館) / 32080 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 岩間 一雄, 教授 髙木 直史, 教授 五十嵐 淳 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/199453
Date23 March 2015
CreatorsNagao, Atsuki
Contributors岩間, 一雄, 髙木, 直史, 五十嵐, 淳, 長尾, 篤樹, ナガオ, アツキ
Publisher京都大学 (Kyoto University), 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation
Formatapplication/pdf

Page generated in 0.0017 seconds