Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities - 文献詳細 - Ceek.jp Altmetrics

8 0 0 0 OA Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities

著者: 小森田祐一コモリダユウイチ Yuichi KOMORIDA
出版者: 総合研究大学院大学
巻号頁・発行日: 2023-03-24

2023-05-02 13:07:38
8 + 31 Twitter

http://id.nii.ac.jp/1013/00006336/

言及状況

Twitter (8 users, 8 posts, 31 favorites)

学位論文が総研大リポジトリで公開されました！ / https://t.co/H0dDAx3zAG

7 @Yukihiro0036 @7danmoroboshi @sokenojou @t_uemura669101 @IchiroHasuo @qnighy @Venriched

29 @tri_iro @nal_dal_dere @fetburner @bd_gfngfn @hiver4021 @licht_2009 @ShiBEhaRT @harmokey @DicedontplayGod @s_omaenandayo @7danmoroboshi @ashiato45 @chesokuso @nokosaaannn @programming_X_ @sokenojou @Yukihiro0036 @MasWag @Curiosi46542428 @SokendaiU @comoriso_TKG @shusuke_iw1005 @dif_engine @kamojiro24e @paper3510mm @piano2683 @qnighy @silasolla @Venriched

収集済み URL リスト

https://ir.soken.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=6660&item_no=1&page_id=29&block_id=155 (8)