村上 昌己 | 岡山大学工学部情報工学科

スポンサーリンク

概要

• 村上 昌己の詳細を見る
• 同名の論文著者
• 岡山大学工学部情報工学科の論文著者

関連著者

• 村上 昌己

  岡山大学工学部情報工学科

• 稲垣 康善

  名古屋大学

• 村上 昌己

  名古屋大学工学部

• 稲垣 康善

  名古屋大学大学院工学研究科計算理工学専攻

• 本多 波雄

  豊橋技術科学大学

• 本多 波雄

  名古屋商科大学

• 村上 昌己

  岡山大学工学部

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 結縁 祥治

  名古屋大学 情報科学研究科

• カサブランカ ファビオ

  名古屋大学工学部情報工学科

著作論文

• プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
• 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)
• 並行論理型言語の意味領域としてのガード付きストリーム : 意味論的および構文的同値関係について
• 相互通信逐次型プロセス系のデッドロックフリ-性の検証
• 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
• 相互通信逐次型プロセス系の部分的正当性検証体系
• 並行プログラム検証体系のためのダイナミック論理の拡張

スポンサーリンク