A Modified Completeness Theorem of KAT and Decidability of Term Reducibility
Institution: | Kyoto University |
---|---|
Department: | |
Year: | 2014 |
Keywords: | Kleene algebra with tests; completeness theorem; decidability; regular language; syntactic semiring; 400 |
Record ID: | 1231613 |
Full text PDF: | http://hdl.handle.net/2433/188452 |
Kyoto University (京都大学) 0048 新制・課程博士 博士(理学) 甲第18041号 理博第3919号 新制||理||1566 30899 京都大学大学院理学研究科数学・数理解析専攻 (主査)准教授 西村 進, 教授 加藤 毅, 教授 長谷川 真人 学位規則第4条第1項該当