一般論文
イベントとプロパティの区別を導入した型階層論理
ジャーナル
フリー
2000 年
17 巻
2 号
p. 118-132
詳細
-
発行日: 2000 年
受付日: -
J-STAGE公開日: 2000/12/26
受理日: -
早期公開日: -
改訂日: -
-
訂正情報
訂正日: 2019/04/20
訂正理由: 著者が記されていなかったため．
訂正箇所: 書誌事項
訂正内容: 著者名追加．
関連記事
閲覧履歴
Top
J-STAGEへの登録はこちら（無料）
登録
すでにアカウントをお持ちの場合 サインインはこちら
