カツマタ シンヤ   KATSUMATA SHINYA
  勝股 審也
   所属   京都産業大学  理学部 数理科学科
   職種   教授
言語種別 英語
発行・発表の年月 2019
形態種別 研究論文
査読 査読あり
標題 A coalgebraic view on reachability
執筆形態 共著
掲載誌名 Commentationes Mathematicae Universitatis Carolinae
掲載区分国外
巻・号・頁 604(4),pp.605-638
国際共著 国際共著
著者・共著者 Thorsten Wi_mann, Stefan Milius, Shin-ya Katsumata, J_r_m Dubut