Harao, Masateru Published as: Harao, Masateru Documents: 25 Publications indexed (1973–2007) Co-Authors: Hirata, Kouichi; Noguchi, Shoichi; Yamada, Keizo; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Hasegawa, Ryu Published as: Hasegawa, Ryu Documents: 12 Publications indexed (1994–2021) Co-Authors: Fujita, Ken-etsu; Nakano, Hiroshi; Tatsuta, Makoto Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Hasuo, Ichiro Published as: Hasuo, Ichiro Documents: 55 Publications indexed (2003–2021) Co-Authors: Jacobs, Bart; Urabe, Natsuki; Dubut, Jérémy; ... Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX)
Hirokawa, Sachio Published as: Hirokawa, Sachio; Hirokawa, S. Documents: 29 Publications indexed (1978–2011) Co-Authors: Ikeda, Daisuke; Yamada, Yasuhiro; Baba, Kensuke; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Honda, Yuki Published as: Honda, Yuki Documents: 4 Publications indexed (1994–2021) Co-Authors: Fujita, Ken-etsu; Nakazawa, Koji Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX)
Ishigaki, Ryo Published as: Ishigaki, Ryo Documents: 3 Publications indexed (2007–2008) Co-Authors: Kikuchi, Kentaro; Kashima, Ryo Main Fields: Mathematical logic and foundations (03-XX)
Ishii, Katsumasa Published as: Ishii, Katsumasa Documents: 7 Publications indexed (2001–2018) Co-Authors: Kashima, Ryo; Kikuchi, Kentaro Main Fields: Mathematical logic and foundations (03-XX)
Kamide, Norihiro Published as: Kamide, Norihiro Documents: 105 Publications indexed (1997–2022) Co-Authors: Wansing, Heinrich Theodor; Kashima, Ryo; Shramko, Yaroslav V.; ... Main Fields: Mathematical logic and foundations (03-XX)
Kikuchi, Kentaro Published as: Kikuchi, Kentaro Documents: 21 Publications indexed (2001–2022) Co-Authors: Aoto, Takahito; Toyama, Yoshihito; Ishigaki, Ryo; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Kurata, Toshihiko Published as: Kurata, Toshihiko Documents: 5 Publications indexed (1995–2019) Co-Authors: Fujita, Ken-etsu; Ishihara, Hajime; Takahashi, Masako Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Middeldorp, Aart Published as: Middeldorp, Aart; Middeldorp, A. Documents: 121 Publications indexed (1988–2021) Co-Authors: Zankl, Harald; Hirokawa, Nao; Winkler, Sarah; ... Main Fields: Computer science (68-XX)
Nagayama, Misao Published as: Nagayama, Misao Documents: 9 Publications indexed (1992–2006) Co-Authors: Okada, Mitsuhiro; Hirokawa, Sachio; Hyland, J. Martin E.; ... Main Fields: Mathematical logic and foundations (03-XX)
Nakano, Hiroshi Published as: Nakano, Hiroshi Documents: 10 Publications indexed (1994–2011) Co-Authors: Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakazawa, Koji; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); History and biography (01-XX); Combinatorics (05-XX); Algebraic geometry (14-XX); ...
Nakazawa, Koji Published as: Nakazawa, Koji Documents: 18 Publications indexed (1990–2021) Co-Authors: Tatsuta, Makoto; Espírito Santo, José; Fujita, Ken-etsu; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Okamoto, Keishi Published as: Okamoto, Keishi Documents: 6 Publications indexed (1985–2008) Co-Authors: Kashima, Ryo; Wakai, Kentaro Main Fields: Mathematical logic and foundations (03-XX); Nonassociative rings and algebras (17-XX); Ordinary differential equations (34-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); ...
Ono, Hiroakira Published as: Ono, Hiroakira; Ono, H. Documents: 94 Publications indexed (1967–2021) Co-Authors: Kowalski, Tomasz; Galatos, Nikolaos; Jipsen, Peter; ... Main Fields: Mathematical logic and foundations (03-XX)
Schubert, Aleksy Published as: Schubert, Aleksy Documents: 34 Publications indexed (1998–2019) Co-Authors: Fujita, Ken-etsu; Urzyczyn, Paweł; Chrząszcz, Jacek; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Shimura, Tatsuya Published as: Shimura, Tatsuya Documents: 15 Publications indexed (1991–2002) Co-Authors: Isoda, Eiko; Kashima, Ryo; Suzuki, Nobu-Yuki; ... Main Fields: Mathematical logic and foundations (03-XX)
Takeuti, Izumi Published as: Takeuti, Izumi Documents: 10 Publications indexed (1996–2021) Co-Authors: Adachi, Tomoko; Hirokawa, Sachio; Kamo, Hiroyasu; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tanaka, Kazuyuki Published as: Tanaka, Kazuyuki Documents: 62 Publications indexed (1989–2022) Co-Authors: Yamazaki, Takeshi; Yasuda, Muneki; Liu, ChenGuang; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX); ...
Tatsuta, Makoto Published as: Tatsuta, Makoto Documents: 39 Publications indexed (1991–2021) Co-Authors: Berardi, Stefano; Kimura, Daisuke; Nakazawa, Koji; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tonino, Hans Published as: Tonino, Hans Documents: 3 Publications indexed (1992–2003) Co-Authors: Bos, André; de Weerdt, Mathijs M.; Witteveen, Cees; ... Main Fields: Computer science (68-XX)
Yamaguchi, Takeshi Published as: Yamaguchi, Takeshi Documents: 8 Publications indexed (1997–2016) Co-Authors: Calude, Cristian S.; Ishihara, Hajime; Kaba, K.; ... Main Fields: Fluid mechanics (76-XX); Biology and other natural sciences (92-XX); Mathematical logic and foundations (03-XX)