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

Research output: Contribution to journalArticle

Original languageJapanese
Journal情報処理
Volume32
Issue number7
Publication statusPublished - 1991

Cite this