Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Satoru Kuroda

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Kuroda12
- ask others
Satoru Kuroda: Axiomatizing proof tree concepts in Bounded Arithmetic. CSL 2012: 440-454

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aml/Kuroda07
- ask others
Satoru Kuroda: Generalized quantifier and a bounded arithmetic theory for LOGCFL. Arch. Math. Log. 46(5-6): 489-516 (2007)
2004
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cc/Kuroda04
- ask others
Satoru Kuroda: Recursion Schemata for Slowly Growing Depth Circuit Classes. Computational Complexity 13(1-2): 69-89 (2004)
2001
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mlq/Kuroda01
- ask others
Satoru Kuroda: An Independence Result on Weak Second Order Bounded Arithmetic. Math. Log. Q. 47(2): 183-186 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-9907022
- ask others
Satoru Kuroda: Weak length induction and slow growing depth boolean circuits. CoRR cs.LO/9907022 (1999)