木村 成伴 | 情報科学研究科
スポンサーリンク
概要
関連著者
-
木村 成伴
筑波大学電子・情報工学系
-
木村 成伴
情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所
-
富樫 敦
東北大学電気通信研究所
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
富樫 敦
宮城大学事業構想学部
-
木村 成伴
東北大学電気通信研究所
-
朴 炳昊
東北大学電気通信研究所
-
臼井 伸幸
東北大学電気通信研究所
-
吉田 仙
東北大学電気通信研究所
-
臼井 伸幸
東北大
-
白鳥 則郎
筑波大学電子・情報工学系
-
野口 正一
東北大学応用情報学研究センター
-
木村 成伴
東北大学応用情報学研究センター
-
白鳥 則郎
東北大学情報科学研究科
-
白鳥 則郎
東北大学
-
李 殷碩
韓国成均館大学工科大学情報工学科
-
木村 成伴
電気通信研究所
-
富樫 敦
情報科学研究所
-
李 殷碩
韓国成均館大学工科大学
-
富樫 敦[他]
東北大学電気通信研究所
著作論文
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- LOTOS言語教育支援環境のためのプロセスの誤り検出法
- MSCからのプロセス合成(アルゴリズムと計算量理論)
- Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
- Inductive Synthesis of Recursive Processes from Logical Properties
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- プロセス合成のための支援環境とその試作
- μ-calclusによる再帰プロセスの合成アルゴリズム
- 汎用並行プロセス計算システムの設計開発
- プロセスの枚挙に基づいた代表的プロセスの合成
- 様相論理式による基本プロセスの合成アルゴリズム