×

Found 10 Authors (Results 1–10)

Fujita, Ken-etsu

Published as:   Fujita, Ken-etsu; Fujita, Ken-Etsu
Documents: 43 Publications indexed (1980–2021)
Co-Authors: Schubert, Aleksy; Nakazawa, Koji; Asanuma, Teruo; ...
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

Kashima, Ryo

Published as:   Kashima, Ryo
Documents: 20 Publications indexed (1992–2020)
Co-Authors: Kamide, Norihiro; Komori, Yuichi; Matsuda, Naosuke; ...
Main Fields: Mathematical logic and foundations (03-XX)

Kawano, Tomoaki

Published as:   Kawano, Tomoaki
Documents: 3 Publications indexed (2018–2022)
Co-Authors: Matsuda, Naosuke; Takagi, Kento
Main Fields: Mathematical logic and foundations (03-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)

Nakamura, Yoshiki

Published as:   Nakamura, Yoshiki
Documents: 28 Publications indexed (1975–2022)
Co-Authors: Sawaki, Yutaka; Kuwahara, Yasuo; Astafiev, O.; ...
Main Fields: Statistical mechanics, structure of matter (82-XX); Mechanics of deformable solids (74-XX); Quantum theory (81-XX); Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); Mathematical logic and foundations (03-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)

Takagi, Kento

Published as:   Takagi, Kento
Documents: 4 Publications indexed (1976–2022)
Co-Authors: Kawano, Tomoaki; Matsuda, Naosuke; Nomura, Takashi
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

Yuyama, Takao

Published as:   Yuyama, Takao
Documents: 1 Publication indexed (2020)
Co-Authors: Kashima, Ryo; Matsuda, Naosuke
Main Fields: Mathematical logic and foundations (03-XX)