桜井 貴文
Takafumi SAKURAI
更新日: 2022/02/10
基本情報
- 所属
- 千葉大学 大学院理学研究院数学・情報数理学研究部門 教授
- 学位
-
博士(情報学)(2002年3月 京都大学)
- J-GLOBAL ID
- 202001006770737880
- researchmap会員ID
- B000382613
研究分野
1論文
7-
Programming Languages and Systems 120-139 2014年 査読有り
-
Indagationes Mathematicae 24(4) 1073-1104 2013年11月 査読有り
-
Frontiers of Computer Science in China 2(1) 12-21 2008年3月 査読有り
-
Computer Science Logic 484-497 2003年 査読有り
-
International Journal of Foundations of Computer Science 12(02) 213-244 2001年4月 査読有り
-
Functional and Logic Programming 359-374 2001年 査読有り
-
Lecture Notes in Computer Science 340-354 1999年 査読有り