×

Found 23 Authors (Results 1–23)

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)