Return to search

A Modified Completeness Theorem of KAT and Decidability of Term Reducibility / KATの完全性定理と項の還元可能性の決定可能性

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第18041号 / 理博第3919号 / 新制||理||1566(附属図書館) / 30899 / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 西村 進, 教授 加藤 毅, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/188452
Date24 March 2014
CreatorsUramoto, Takeo
Contributors西村, 進, 加藤, 毅, 長谷川, 真人, 浦本, 武雄, ウラモト, タケオ
Publisher京都大学 (Kyoto University), 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation
Formatapplication/pdf
Rights学位規則第9条第2項により要約公開, 許諾条件により要約は2015-03-23に公開

Page generated in 0.0024 seconds