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