年度:

1988年度 学術論文誌 / Journals

  1. 二宮 清, 東野 輝夫, 谷口 健一, 木本 智久:
    プロトコルマシンの等価性証明の一方法
    電子通信学会論文誌(D), Vol.J71-D, No.12, pp.2630-2639 (Dec. 1988).

1988年度 国際会議 / International Conferences


1988年度 国内学会・研究会 / Domestic Conferences


1988年度 講演 / Invited Talks


1988年度 著書・訳書・解説等 / Edited Books

  1. 東野 輝夫, 関 浩之, 谷口 健一:
    代数的仕様から関数型プログラムの導出とその実行
    情報処理 第29巻, pp.881-896 (Aug. 1988).

1988年度 その他 / Others


Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by http://f-tpl.com