The SCEAS System
Navigation Menu

Search the dblp DataBase


Noriko H. Arai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002