Satoru Kuroda

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 2

Top Topics

Image Processing

Single Parameter

Top Venues

Arch. Math. Log.

Publications

Eitetsu Ken, Satoru Kuroda
On matrix rank function over bounded arithmetics. CoRR (2023)
Satoru Kuroda
Sprague-Grundy theory in bounded arithmetic. Arch. Math. Log. 61 (1) (2022)
Satoru Kuroda
Axiomatizing proof tree concepts in Bounded Arithmetic. CSL (2012)
Satoru Kuroda
Generalized quantifier and a bounded arithmetic theory for LOGCFL. Arch. Math. Log. 46 (5-6) (2007)
Satoru Kuroda
Recursion Schemata for Slowly Growing Depth Circuit Classes. Comput. Complex. 13 (1-2) (2004)
Satoru Kuroda
An Independence Result on Weak Second Order Bounded Arithmetic. Math. Log. Q. 47 (2) (2001)
Satoru Kuroda
Weak length induction and slow growing depth boolean circuits CoRR (1999)