Original language | Japanese |
---|---|
Journal | 情報処理 |
Volume | 32 |
Issue number | 7 |
Publication status | Published - 1991 |
並行論理型言語の形式的意味論
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Original language | Japanese |
---|---|
Journal | 情報処理 |
Volume | 32 |
Issue number | 7 |
Publication status | Published - 1991 |