Get started
Author

Satoru Kuroda

Observed names: Kuroda, Satoru, 覚 黒田
ORCID: 0000-0001-8422-4260
Observed ORCID: 0000-0001-8422-4260
OpenAlex ID: A5059665699
Recursion Schemata for Slowly Growing Depth Circuit Classes
2004 · Satoru Kuroda · Computational Complexity · 3
On matrix rank function over bounded arithmetics
2026 · Eitetsu Ken, Satoru Kuroda · Annals of Pure and Applied Logic · 2
PDF
Generalized quantifier and a bounded arithmetic theory for LOGCFL
2007 · Satoru Kuroda · Archive for Mathematical Logic · 2
Weak length induction and slow growing depth boolean circuits
1999 · Kuroda, Satoru · arXiv (Cornell University) · 1
PDF
On a Theory for AC0and the Strength of the Induction Scheme
1998 · Satoru Kuroda · Mathematical logic quarterly · 1
Formalizing Pfaffian in bounded arithmetic
2024 · Kuroda, Satoru · arXiv (Cornell University)
PDF
Takeuti-Yasumoto Forcing Revisited
2022 · Satoru Kuroda
Sprague–Grundy theory in bounded arithmetic
2021 · Satoru Kuroda · Archive for Mathematical Logic
PDF
Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics)
2020 · Satoru Kuroda · Institutional Repositories DataBase (IRDB)
PDF
Developing Takeuti-Yasumoto forcing
2018 · Kuroda, Satoru · arXiv (Cornell University)
PDF
Axiomatizing proof tree concepts in Bounded Arithmetic
2012 · Kuroda, Satoru · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Characterizations and Problems on LOGCFL(Proof Theory of Arithmetic)
2007 · Satoru Kuroda · Kyoto University Research Information Repository (Kyoto University)
PDF
Logical Characterizations of LOGSPACE (Proof Theory and Computation Theory)
2005 · Satoru Kuroda · Kyoto University Research Information Repository (Kyoto University)
PDF
MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)
2001 · 覚 黒田 · Institutional Repositories DataBase (IRDB)
PDF
An Independence Result on Weak Second Order Bounded Arithmetic
2001 · Satoru Kuroda · Mathematical logic quarterly
Works count: 21
Citation count: 9
H-index: 2
I10-index:
Year
Topic
Type