80-25 並行・非決定性プログラムの様相論理

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1980-11-15

著者

• 大谷木 重夫

  電総研・制御部

関連論文

• 論理と関数
• 82-21 節行列表示による結合グラフ・リゾリューション
• 80-26 非決定的並列システムの仕様記述
• 80-25 並行・非決定性プログラムの様相論理
• 80-24 並列プログラムの指示意味論
• 80-04 モンタギュー文法と使役的意味合いを含む動詞の語彙分解
• 非単調関数を含む自己適用可能な関数領域
• Prologの意味論--意味記述の新しい可能性

スポンサーリンク