Year:

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