タケヤマ マコト   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.