Spelling suggestions: "subject:"founded 1inear logic"" "subject:"founded 1inear yogic""
1 |
Generalization of Bounded Linear Logic and its Categorical Semantics / 有界線形論理の一般化とその圏論的意味論Fukihara, Yoji 23 March 2021 (has links)
京都大学 / 新制・課程博士 / 博士(理学) / 甲第22980号 / 理博第4657号 / 新制||理||1669(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 長谷川 真人, 准教授 照井 一成, 准教授 河村 彰星 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM
|
Page generated in 0.0395 seconds