![]() ![]() |
|
タケヤマ マコト
Takeyama Makoto 武山 誠 所属 神奈川大学 理学部 情報科学科 神奈川大学大学院 理学研究科 理学専攻(情報科学領域) 職種 教授 |
|
言語種別 | 英語 |
発行・発表の年月 | 1995 |
形態種別 | 学術雑誌 |
査読 | 査読あり |
標題 | Bireflectivity (proceedings version) |
執筆形態 | 共著 |
掲載誌名 | MFPS XI, Electronic Notes in Theoretical Computer Sicnece, vol 1 |
掲載区分 | 国外 |
巻・号・頁 | 1,pp.199-233 |
著者・共著者 | Peter.W.O'Hearn, A.john Power, Robert D.Tennent, Peter J.Freyd, Ross Street, Makoto Takeyama |
概要 | A conference proceedings version of Peter. W. O'Hearn, A. John Power, Makoto Takeyama, Robert D. Tennent, Peter J. Freyd, Ross Street, Bireflectivity, Theoretical Computer Science, vol. 228, pp. 49-76, 1999. |