北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

根元 多佳子 (ネモト タカコ) 助教
情報科学系、知能ロボティクス領域

8件中1-8件目

  • 1. Some principles weaker than Markov's principle,Makoto Fujiwara, Hajime Ishihara and Takako Nemoto,to appear in Archive for Mathematical Logic
  • 2. Generalized geometric theories and set-generated classes,Peter Aczel, Hajime Ishihara, Takako Nemoto and Yasushi Sangu,Math. Structures Comput. Sci.,26,pp. 1466-1483
  • 3. Non-deterministic inductive definition and Fullness,Hajime Ishihara and Takako Nemoto,to appear in Dieter Probst and Peter Schuster (eds.), "Concepts of Proof in Mathematics, Philosophy, and Computer Science". Ontos Mathematical Logic. Walter de Gruyter, Berlin
  • 4. A note on the independence of premiss rule,Hajime Ishihara and Takako Nemoto,to appear in Mathematical Logic Quarterly
  • 5. Determinacy of Wadge classes and subsystems of second order arithmetic,T. Nemoto,Mathematical Logic Quarterly,Volume 55,Issue 2,pp. 154 - 176
  • 6. Weak weak König's lemma in constructive reverse mathematics,T. Nemoto,Proceeding of the 10th Asian Logic Conference,pp. 263 - 270
  • 7. Complete determinacy and subsystems of second order arithmetic,T. Nemoto,,Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, Lecture Notes in Computer Science 5028,pp. 457 - 466
  • 8. Infinite games in the Cantor space and subsystems of second order arithmetic,T. Nemoto, M. O. Medsalem and K. Tanaka,Mathematical Logic Quarterly,,Volume 53,3,pp. 226 - 236,2007