Satoru Kuroda

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

4 Satoru Kuroda: Generalized quantifier and a bounded arithmetic theory for LOGCFL. Arch. Math. Log. 46(5-6): 489-516 (2007)

2004

3 Satoru Kuroda: Recursion Schemata for Slowly Growing Depth Circuit Classes. Computational Complexity 13(1-2): 69-89 (2004)

2001

2 Satoru Kuroda: An Independence Result on Weak Second Order Bounded Arithmetic. Math. Log. Q. 47(2): 183-186 (2001)

1999

1 Satoru Kuroda: Weak length induction and slow growing depth boolean circuits CoRR cs.LO/9907022: (1999)

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