計算機科学における書き換え技法と論理
日時: 1996年 9月 20日(金)10:00〜17:00
場所: 金沢大学角間キャンパス
プログラム
座長 外山芳人
高階項書き換え系について 高橋正子(東工大)
信念変更と論理 勝野裕文(NTT)
線形論理に基づく計算モデルの理論概説 岡田光弘(慶大)
定理証明系と項書き換えの実際 荻谷昌己(東大)
集合演算を備えた型体系について 横内寛文(群馬大)
項書き換えシステムのモジュラ性 外山芳人(北陸先端大)