並行論理型言語の形式的意味論

Masaki Murakami

研究成果

本文言語Japanese
ジャーナル情報処理
32
7
出版ステータスPublished - 1991

引用スタイル