All 2015 2014 2013 2012 2007 2006 2005 2003 Other
All Journal Article Presentation
京都大学数理解析研究所講究録
Volume : 印刷中
Studia Logica
Information Processing Letters
Volume : 114-1,2 Pages : 72-75
数学 岩波書店
Volume : 第66巻 第1号 Pages : 78-89
Theoretical Computer Science
Volume : 549
京都大学数理解析研究所講究録 （RIMS共同研究 証明論と複雑性）
Volume : 1832 Pages : 73-87
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
京都大学数理解析研究所講究録(代数系,形式言語と計算論) 1437
Pages : 163-173
Springer Lecture Notes in Computer Science 3461
京都大学数理解析研究所講究録(代数系、形式言語と計算論) 1437
Kyoto University RIMS Koukyuroku Vol.1437
Kyoto University RIMS Koukyuroku Vol.1442
Lecture Notes in Computer Science Vol.3461
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
