
Search the dblp DataBase
Noriko H. Arai:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri
CSCL Environment for Bilingual Deaf Education. [Citation Graph (0, 0)][DBLP] CATE, 2004, pp:411416 [Conf]
 Noriko H. Arai, Chimako Hiratsuka
Creating a Virtual Space for ChildRearing with IT Beginners. [Citation Graph (0, 0)][DBLP] IMSA, 2005, pp:123127 [Conf]
 Noriko H. Arai, Kayo Kawamoto
Designing Collaborative Learning Environment for Advanced Math. [Citation Graph (0, 0)][DBLP] IMSA, 2005, pp:145150 [Conf]
 Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
The complexity of analytic tableaux. [Citation Graph (0, 0)][DBLP] STOC, 2001, pp:356363 [Conf]
 Noriko H. Arai, Alasdair Urquhart
Local Symmetries in Propositional Logic. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:4051 [Conf]
 Noriko H. Arai
Relative efficency of propositional proof systems: resolution vs. cutfree LK. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:13, pp:316 [Journal]
 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:193209 [Journal]
 Noriko H. Arai
No feasible monotone interpolation for simple combinatorial reasoning. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:238, n:12, pp:477482 [Journal]
 Noriko H. Arai
Tractability of Cutfree Gentzentype propositional calculus with permutation inference II. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:243, n:12, pp:185197 [Journal]
 Noriko H. Arai
A Proper Hierarchy of Propositional Sequent Calculi. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:159, n:2, pp:343354 [Journal]
 Noriko H. Arai
Tractability of CutFree Gentzen Type Propositional Calculus with Permutation Inference. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:170, n:12, pp:129144 [Journal]
Evaluation of Logical Thinking Ability through Contributions in a Learning Community. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
