Takako Nemoto
发表
Takako Nemoto,
2009,
Math. Log. Q..
Takako Nemoto,
2008,
CiE.
Takako Nemoto,
Takako Nemoto,
2020,
Comput..
Hajime Ishihara,
Makoto Fujiwara,
Takako Nemoto,
2015,
Arch. Math. Log..
Hajime Ishihara,
Takako Nemoto,
H. Ishihara,
2020,
Archive for Mathematical Logic.
Tatsuji Kawai,
Hajime Ishihara,
Takako Nemoto,
2019,
Ann. Pure Appl. Log..
Kazuyuki Tanaka,
MedYahya Ould MedSalem,
Takako Nemoto,
2007,
Math. Log. Q..
Peter Aczel,
Hajime Ishihara,
Takako Nemoto,
2014,
Mathematical Structures in Computer Science.
Hajime Ishihara,
Takako Nemoto,
H. Ishihara,
2016,
Math. Log. Q..
Takako Nemoto,
2020,
Arch. Math. Log..
Hajime Ishihara,
Josef Berger,
Takayuki Kihara,
2018,
Archive for Mathematical Logic.