村上 昌己 | 名古屋大学工学部
スポンサーリンク
概要
関連著者
-
村上 昌己
岡山大学工学部情報工学科
-
稲垣 康善
名古屋大学
-
村上 昌己
名古屋大学工学部
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
本多 波雄
豊橋技術科学大学
-
本多 波雄
名古屋商科大学
著作論文
- プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
- 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)
- 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)