Search the dblp DataBase

Publications of Author

1. Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri
   CSCL Environment for Bilingual Deaf Education. [Citation Graph (0, 0)][DBLP]
   CATE, 2004, pp:411-416 [Conf]
   
2. Noriko H. Arai, Chimako Hiratsuka
   Creating a Virtual Space for Child-Rearing with IT Beginners. [Citation Graph (0, 0)][DBLP]
   IMSA, 2005, pp:123-127 [Conf]
   
3. Noriko H. Arai, Kayo Kawamoto
   Designing Collaborative Learning Environment for Advanced Math. [Citation Graph (0, 0)][DBLP]
   IMSA, 2005, pp:145-150 [Conf]
   
4. Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
   The complexity of analytic tableaux. [Citation Graph (0, 0)][DBLP]
   STOC, 2001, pp:356-363 [Conf]
   
5. Noriko H. Arai, Alasdair Urquhart
   Local Symmetries in Propositional Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2000, pp:40-51 [Conf]
   
6. Noriko H. Arai
   Relative efficency of propositional proof systems: resolution vs. cut-free LK. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:3-16 [Journal]
   
7. Toru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai
   TelMeA - Expressive avatars in asynchronous communications. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 2005, v:62, n:2, pp:193-209 [Journal]
   
8. Noriko H. Arai
   No feasible monotone interpolation for simple combinatorial reasoning. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:238, n:1-2, pp:477-482 [Journal]
   
9. Noriko H. Arai
   Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:243, n:1-2, pp:185-197 [Journal]
   
10. Noriko H. Arai
    A Proper Hierarchy of Propositional Sequent Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:159, n:2, pp:343-354 [Journal]
    
11. Noriko H. Arai
    Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:129-144 [Journal]
    
12. 
    Evaluation of Logical Thinking Ability through Contributions in a Learning Community. [Citation Graph (, )][DBLP]