80-24 並列プログラムの指示意味論
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1980-11-15
著者
関連論文
- 論理と関数
- 82-21 節行列表示による結合グラフ・リゾリューション
- 80-26 非決定的並列システムの仕様記述
- 80-25 並行・非決定性プログラムの様相論理
- 80-24 並列プログラムの指示意味論
- 80-04 モンタギュー文法と使役的意味合いを含む動詞の語彙分解
- 非単調関数を含む自己適用可能な関数領域
- Prologの意味論--意味記述の新しい可能性