大会名称 |
---|
2003年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2003 |
発行日 |
2003/08/25 |
セッション番号 |
6F |
セッション名 |
アルゴリズム・計算量(1) |
講演日 |
2003/09/12 |
講演場所(会議室等) |
A館 A-301 |
講演番号 |
LA-009 |
タイトル |
高階関数型プログラムにおける帰納的定理証明 |
著者名 |
青戸 等人, 山田 俊行, 外山 芳人, |
キーワード |
抄録 |
本文pdf |
PDF download (189.9KB) |