並行計算の理論の最近の動向 :3. 線形論理に基づく並行計算モデル:並行計算の論理的理解の試み - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 並行計算の理論の最近の動向 :3. 線形論理に基づく並行計算モデル:並行計算の論理的理解の試み

著者: 岡田光弘
出版者: 一般社団法人情報処理学会
雑誌: 情報処理 (ISSN:04478053)
巻号頁・発行日: vol.37, no.4, pp.327-332, 1996-04-15
被引用文献数: 4

2011-12-29 10:49:26
1 + 1 Twitter

https://ci.nii.ac.jp/naid/110002763417

言及状況

Twitter (1 users, 1 posts, 1 favorites)

並行システムの記述　線形論理か時相論理か？他にもあるのか？ / 『CiNii 論文 - 3.線形論理に基づく並行計算モデル : 並行計算の論理的理解の試み (<特集>並行計算の理論の最近の動向)』 http://t.co/YrbfZCO2

1 @zick_minoh

収集済み URL リスト

https://ci.nii.ac.jp/naid/110002763417 (1)