Satoru Kuroda

According to our database, Satoru Kuroda authored at least 7 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2023

On matrix rank function over bounded arithmetics.

Eitetsu Ken, Satoru Kuroda

CoRR, 2023

2022

Sprague-Grundy theory in bounded arithmetic.

Satoru Kuroda

Arch. Math. Log., 2022

2012

Axiomatizing proof tree concepts in Bounded Arithmetic.

Satoru Kuroda

Proceedings of the Computer Science Logic (CSL'12), 2012

2007

Generalized quantifier and a bounded arithmetic theory for LOGCFL.

Satoru Kuroda

Arch. Math. Log., 2007

2004

Recursion Schemata for Slowly Growing Depth Circuit Classes.

Satoru Kuroda

Comput. Complex., 2004

2001

An Independence Result on Weak Second Order Bounded Arithmetic.

Satoru Kuroda

Math. Log. Q., 2001

1999

Weak length induction and slow growing depth boolean circuits

Satoru Kuroda

CoRR, 1999