Yonezawa Akinori | Department of Computer Science, The University of Tokyo
スポンサーリンク
概要
関連著者
-
Yonezawa Akinori
Department of Computer Science, The University of Tokyo
-
Yonezawa Akinori
Department Of Information Science Tokyo Institute Of Technology
-
Kobayashi Naoki
Department Of Applied Physics And Chemistry The University Of Electro-communications
-
KOBAYASHI Naoki
Department of Physics, Chuo University
-
Affeldt Reynald
Department Of Computer Science The University Of Tokyo
-
Matsuda Hiroyuki
Department of Biotechnology, Graduate School of Engineering, Osaka University
-
Shimizu Toshihiro
Department Of Information Science University Of Tokyo
-
Shimizu Toshihiro
Department Of Applied Physics School Of Science And Engineering Waseda University
-
Yonezawa A
Department Of Computer Science The University Of Tokyo
-
Yonezawa Akinori
Department Of Information Science Univeresity Of Tokyo
-
Yonezawa Akinori
Department Of Information Science University Of Tokyo
-
Sekiguchi Tatsurou
Department of Information Science, Univeresity of Tokyo
-
AFFELDT REYNALD
Department of Computer Science, The University of Tokyo
-
Kobayashi N
Department Of Computer Science Tokyo Institute Of Technology
-
Kobayashi Naoki
Department Of Orthopaedic Surgery Dokkyo University School Of Medicine
-
Sekiguchi Tatsurou
Department Of Information Science Univeresity Of Tokyo
-
Matsuda Hiroyuki
Department Of Information Science Tokyo Institute Of Technology
-
Matsuda Hiroyuki
Department Of Agricultural Chemistry The University Of Tokyo
-
Kobayashi Naoki
Department of Applied Chemistry, Faculty of Engineering, Osaka University
著作論文
- TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
- A Complete Type Inference System for Subtyped Recursive Types
- Concurrent Programming in Linear Logic
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study