すべて 2018 2017 2016 2015 2014 2013 2012 2007 2006 2005 2004 2003 その他
すべて 雑誌論文 学会発表
Proceedings of the Queueing Symposium, Stochastic Models and Their Applications
巻: -
京都大学数理解析研究所 講究録
巻: 印刷中
Electronic Proceedings in Theoretical Computer Science
巻: 235
Proceedings of the 6th International Workshop on Confluence
巻: Vol. 235
Studia Logica
巻: 103
京都大学数理解析研究所講究録
巻: 1950
Information Processing Letters
巻: 114-1,2 ページ: 72-75
Theoretical Computer Science
巻: 549
数学 岩波書店
巻: 第66巻 第1号 ページ: 78-89
数学
巻: 66
巻: 114
Leibniz International Proceedings in Informatics (RTA 2013 -- Rewriting Techniques and Applications 24th International Conference)
巻: 21 ページ: 190-205
京都大学数理解析研究所講究録 (RIMS共同研究 証明論と複雑性)
巻: 1832 ページ: 73-87
巻: 1832
Leibniz International Proceedings in Informatics
巻: 21
Information and Computation
巻: 218
京都大学数理解析研究所講究録 1533
ページ: 64-85
京都大学数理解析研究所講究録(代数、言語、計算システムにおけるアルゴリズム問題) 1503
ページ: 121-128
Kyoto University RIMS Koukyuroku Vol.1503
京都大学数理解析研究所 講究録(代数,言語,計算システムにおけるアルゴリズム問題) 1503
Kyoto University RIMS Koukyuroku Vol.1442
ページ: 97-114
Lecture Notes in Computer Science 3461
ページ: 194-208
LNCS 3461
京都大学数理解析研究所講究録(証明論と計算論) 1442
Lecture Notes in Computer Science Vol.3461
Springer Lecture Notes in Computer Science 3461
京都大学数理解析研究所講究録(代数系,形式言語と計算論) 1437
ページ: 163-173
京都大学数理解析研究所講究録(代数系、形式言語と計算論) 1437
Kyoto University RIMS Koukyuroku Vol.1437
21st Conference Proceedings Japan Society for Software Science and Technology (CD-R)
日本ソフトウェア科学会第21回大会講演論文集 (CD-R)
Lecture Notes in Computer Science 2701
ページ: 120-134
コンピュータソフトウェア 20
ページ: 73-79
LNCS 2701
Memoirs of the Faculity of Science and Enginnering(Shimane University, Series B : Mathematical Science) 35
ページ: 39-48
Software computation 20