| 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 |