| |
| 2007 | ||
|---|---|---|
| 4 | EE | Satoru Kuroda: Generalized quantifier and a bounded arithmetic theory for LOGCFL. Arch. Math. Log. 46(5-6): 489-516 (2007) |
| 2004 | ||
| 3 | EE | Satoru Kuroda: Recursion Schemata for Slowly Growing Depth Circuit Classes. Computational Complexity 13(1-2): 69-89 (2004) |
| 2001 | ||
| 2 | EE | Satoru Kuroda: An Independence Result on Weak Second Order Bounded Arithmetic. Math. Log. Q. 47(2): 183-186 (2001) |
| 1999 | ||
| 1 | EE | Satoru Kuroda: Weak length induction and slow growing depth boolean circuits CoRR cs.LO/9907022: (1999) |