@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008290, author = {鈴木, 登志雄 and Suzuki, Toshio}, month = {}, note = {各種の数学的対象に対する計算複雑さの尺度は、これまで様々な研究者によって提唱されてきた。例えば、多項式時間 Turing 次数、Kolmogorov 計算量、回路計算量など。にもかかわらず、計算複雑さについて、いまだに性質がよく知られていない計算的対象は、数多い。 ..., 1998}, school = {筑波大学, University of Tsukuba}, title = {Computational complexity of Boolean formulas with query symbols}, year = {1999} }