Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) "Kuroda, Satoru",Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2003-01,1301,,69-78,https://cir.nii.ac.jp/crid/1050001202296646400,