Arai, Noriko H.
582  Ergebnisse:
Personensuche X
?
 
?
2

The Complexity of Analytic Tableaux:

Arai, Noriko H. ; Pitassi, Toniann ; Urquhart, Alasdair
The Journal of Symbolic Logic.  71 (2006)  3 - p. 777-790 , 2006
 
?
3

TelMeA—Expressive avatars in asynchronous communications:

Takahashi, Toru ; Bartneck, Christoph ; Katagiri, Yasuhiro.
International Journal of Human-Computer Studies.  62 (2005)  2 - p. 193-209 , 2005
 
?
4

Tractability of Cut-free Gentzen-type propositional calculu..:

Arai, Noriko H.
Theoretical Computer Science.  243 (2000)  1-2 - p. 185-197 , 2000
 
?
5

Relative efficiency of propositional proof systems: resolut..:

Arai, Noriko H.
Annals of Pure and Applied Logic.  104 (2000)  1-3 - p. 3-16 , 2000
 
?
6

No feasible monotone interpolation for simple combinatorial..:

Arai, Noriko H.
Theoretical Computer Science.  238 (2000)  1-2 - p. 477-482 , 2000
 
?
7

Tractability of cut-free Gentzen type propositional calculu..:

Arai, Noriko H.
Theoretical Computer Science.  170 (1996)  1-2 - p. 129-144 , 1996
 
?
8

A proper hierarchy of propositional sequent calculi:

Arai, Noriko H.
Theoretical Computer Science.  159 (1996)  2 - p. 343-354 , 1996
 
?
9

High-resolution structures of a chitinase complexed with na..:

Houston, Douglas R. ; Shiomi, Kazuro ; Arai, Noriko...
Proceedings of the National Academy of Sciences.  99 (2002)  14 - p. 9127-9132 , 2002
 
?
10

High-Resolution Structures of a Chitinase Complexed with Na..:

Houston, Douglas R. ; Shiomi, Kazuro ; Arai, Noriko...
Proceedings of the National Academy of Sciences of the United States of America.  99 (2002)  14 - p. 9127-9132 , 2002
 
?
14

Thyrolinguofacial trunk arising from the common carotid art..:

Asami, Shiho ; Uchino, Akira ; Natsuyama, Yuki...
Surgical and Radiologic Anatomy.  46 (2024)  5 - p. 659-663 , 2024
 
?
15

Association between Mobility of Residual Left Atrial Thromb..:

Kato, Yuji ; Hayashi, Takeshi ; Nakano, Shintaro...
Journal of Nippon Medical School.  91 (2024)  3 - p. 322-327 , 2024
 
1-15