Research Interest

bounded arithmetic and its relation to computational complexity theory

application of logical method to linguistics

Papers and Preprints

Thesis

Journal articles

Conference Proceedings

Research reports

Preprints

Recent and Forthcoming Talks

Other staffs

Logic and Lingusitics Group in Gunma

satoru[at]gpwu[dot]ac[dot]jp">Satoru Kuroda