Rchr
J-GLOBAL ID：200901036122764047
Update date: Sep. 01, 2020
Hosono Chiharu
ホソノ チハル | Hosono Chiharu
Research theme for competitive and other funds (2)：
数理計算理論
Mathematical theory of computation
MISC (18)：
有理Presburger算術の決定性について. コンピュータソフトウェア. 1992. 9. 5
On the Decidability of Rational Presburger Arithmetic. Computer Software. 1992. 9. 5
An Analytic Semantics of CSP. Fundamenta Informaticae. 1991. 15
An Analytic Semantics of CSP. Fundamenta Informaticae. 1991. 15
On an Unsatisfiability-satisfiability Prover. Publications of the Research Institute for Mathematical Sciences. 1989. 25. 1
ｍore...
Education (4)：
- 1975 Kyoto University
- 1975 Kyoto University Graduate School, Division of Natural Science
- 1973 Kyoto University Faculty of Science
- 1973 Kyoto University Faculty of Science
Professional career (1)：
理学博士
Work history (1)：
University of Tsukuba Faculty of Engineering, Information and Systems Associate Professor
Association Membership(s) (3)：
情報処理学会
, 日本ソフトウェア科学会
, 日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
