Kuroda, Satoru Recent topics on bounded arithmetic and complexity theory. (English. Japanese original) Zbl 1284.03265 Sugaku Expo. 24, No. 1, 73-91 (2011); translation from Sūgaku 60, No. 2, 156-174 (2008). MSC: 03F30 03D15 68Q15 68Q19 PDFBibTeX XMLCite \textit{S. Kuroda}, Sugaku Expo. 24, No. 1, 73--91 (2011; Zbl 1284.03265); translation from Sūgaku 60, No. 2, 156--174 (2008)
Kuroda, Satoru Generalized quantifier and a bounded arithmetic theory for LOGCFL. (English) Zbl 1115.03082 Arch. Math. Logic 46, No. 5-6, 489-516 (2007). MSC: 03F30 68Q15 68Q19 03C80 PDFBibTeX XMLCite \textit{S. Kuroda}, Arch. Math. Logic 46, No. 5--6, 489--516 (2007; Zbl 1115.03082) Full Text: DOI
Kuroda, Satoru Models of bounded arithmetic. (English) Zbl 1047.03507 RIMS Kokyuroku 1217, 45-60 (2001). MSC: 03F30 03C62 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 1217, 45--60 (2001; Zbl 1047.03507)
Kuroda, Satoru Complexity theory and bounded arithmetic for truly feasible computation. (English) Zbl 0951.68513 RIMS Kokyuroku 1096, 35-50 (1999). MSC: 68Q15 03D15 03F30 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 1096, 35--50 (1999; Zbl 0951.68513)
Kuroda, Satoru On a theory for \(\text{AC}^0\) and the strength of the induction scheme. (English) Zbl 0905.03039 Math. Log. Q. 44, No. 3, 417-426 (1998). Reviewer: R.Kossak (New York) MSC: 03F30 68Q15 03C62 03D10 PDFBibTeX XMLCite \textit{S. Kuroda}, Math. Log. Q. 44, No. 3, 417--426 (1998; Zbl 0905.03039) Full Text: DOI
Kuroda, Satoru Counting small sets in weak bounded arithmetic. (English) Zbl 0925.03191 RIMS Kokyuroku 976, 27-33 (1997). MSC: 03D15 03F30 68Q15 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 976, 27--33 (1997; Zbl 0925.03191)