H. Ishihara
发表
H. Ishihara,
2000
.
D. Bridges,
H. Ishihara,
2004
.
H. Ishihara,
L. Vîta,
2003
.
D. Bridges,
Bas Spitters,
H. Ishihara,
2002
.
D. Bridges,
H. Ishihara,
2000
.
H. Ishihara,
1989
.
H. Ishihara,
1992
.
D. Bridges,
H. Ishihara,
1992
.
H. Ishihara,
2000
.
H. Ishihara,
2009
.
Douglas S. Bridges,
Dirk van Dalen,
Hajime Ishihara,
2003
.
Marlou M. Gijzen,
H. Ishihara,
Tatsuji Kawai,
2021,
2104.11449.
H. Ishihara,
2002
.
W. Takahashi,
H. Ishihara,
1987
.
H. Ishihara,
1989,
Canadian Mathematical Bulletin.
W. Takahashi,
H. Ishihara,
1988
.
W. Takahashi,
H. Ishihara,
1987
.
P. Schuster,
H. Ishihara,
2010
.
H. Ishihara,
2018,
Indagationes Mathematicae.
Hajime Ishihara,
H. Ishihara,
2005,
From sets and types to topology and analysis.
H. Ishihara,
Takako Nemoto,
2019,
Mathesis Universalis, Computability and Proof.
T. Streicher,
H. Ishihara,
M. Maietti,
2018,
Archive for Mathematical Logic.
H. Ishihara,
1999
.
H. Ishihara,
A. Zama,
1978
.
E. Zhang,
H. Ishihara,
Jian-Li Cheng,
2008,
Ichthyological Research.
H. Ishihara,
H. Senou,
Choong-Hoon Jeong,
2012
.
H. Ishihara,
1987
.
H. Ishihara,
J. Randall,
Y. Takeda,
1993
.
H. Ishihara,
T. Taniuchi,
1990
.
H. Ishihara,
R. Ishiyama,
1985
.
H. Ishihara,
R. Ishiyama,
1985
.
S. Watabe,
R. Begum,
H. Ishihara,
1999
.
H. Ishihara,
Hiromitsu Endo,
A. Orlov,
2020,
Zootaxa.
H. Ishihara,
R. Ishiyama,
1977
.
Douglas S. Bridges,
Hajime Ishihara,
D. Bridges,
1996
.
Hajime Ishihara,
Toshihiko Kurata,
H. Ishihara,
2002,
Theor. Comput. Sci..
Hajime Ishihara,
H. Ishihara,
2006
.
Hajime Ishihara,
H. Ishihara,
2014,
Log. Methods Comput. Sci..
Hajime Ishihara,
Josef Berger,
Takayuki Kihara,
2018,
Archive for Mathematical Logic.
Hajime Ishihara,
H. Ishihara,
2013,
Ann. Pure Appl. Log..
Peter Schuster,
Hajime Ishihara,
P. Schuster,
2004,
Math. Log. Q..
H. Ishihara,
Satoru Yoshida,
2002,
Journal of Symbolic Logic (JSL).
Hajime Ishihara,
H. Ishihara,
1991,
Ann. Pure Appl. Log..
Hajime Ishihara,
H. Ishihara,
1989
.
H. Ishihara,
1988
.
Hajime Ishihara,
H. Ishihara,
1990,
Math. Log. Q..
Douglas S. Bridges,
Hajime Ishihara,
Maarten McKubre-Jordens,
2013,
Math. Log. Q..
Hajime Ishihara,
H. Ishihara,
2012,
Ann. Pure Appl. Log..
Douglas S. Bridges,
Peter Schuster,
Hajime Ishihara,
2005,
Arch. Math. Log..
Hajime Ishihara,
H. Ishihara,
1992,
Journal of Symbolic Logic.
Hajime Ishihara,
H. Ishihara,
2001,
DMTCS.
Thomas Streicher,
Hajime Ishihara,
Maria Emilia Maietti,
2018,
Archive for Mathematical Logic.
Tatsuji Kawai,
Hajime Ishihara,
H. Ishihara,
2014,
Mathematical Structures in Computer Science.
Peter Aczel,
Hajime Ishihara,
Takako Nemoto,
2014,
Mathematical Structures in Computer Science.
Erik Palmgren,
Peter Schuster,
Hajime Ishihara,
2012,
Ann. Pure Appl. Log..
Peter Aczel,
Erik Palmgren,
Peter Schuster,
2007,
Stud Logica.
Erik Palmgren,
Hajime Ishihara,
H. Ishihara,
2006,
Ann. Pure Appl. Log..
Peter Schuster,
Hajime Ishihara,
Laura Crosilla,
2005,
Journal of Symbolic Logic.
Hajime Ishihara,
Takako Nemoto,
H. Ishihara,
2016
.
Douglas S. Bridges,
Peter Schuster,
Hajime Ishihara,
2008,
Theor. Comput. Sci..
Sasha Rubin,
Hajime Ishihara,
Bakhadyr Khoussainov,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Sasha Rubin,
Bakhadyr Khoussainov,
Hajime Ishihara,
2002
.
Hajime Ishihara,
Takako Nemoto,
H. Ishihara,
2020,
Archive for Mathematical Logic.
Hajime Ishihara,
Takako Nemoto,
H. Ishihara,
2016,
Math. Log. Q..
Hajime Ishihara,
H. Ishihara,
2007,
CiE.
A. Nerode,
B. Khoussainov,
H. Ishihara,
1998,
Inf. Comput..
Douglas S. Bridges,
Peter Schuster,
Hajime Ishihara,
2002,
CSL.