|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7926
|
| タイトル: | 高階書換え系の単一正規形性 |
| 著者: | 真野, 健
小川, 瑞史 |
| キーワード: | 項書換え系
高階書換え系
合流性
単一正規形性 |
| 発行日: | 1997-03-20 |
| 出版者: | 電子情報通信学会 |
| 誌名: | 電子情報通信学会論文誌 D |
| 巻: | J80-D1 |
| 号: | 3 |
| 開始ページ: | 258 |
| 終了ページ: | 268 |
| 抄録: | Van Oostromとvan Raamsdonkの提案したパターン高階書換え系の枠組みにおいて，左線形性を仮定しない単一正規形性の十分条件を示す． |
| Rights: | Copyright (C)1997 IEICE. 真野 健, 小川 瑞史, 電子情報通信学会論文誌 D, J80-D1(3), 1997, 258-268. http://www.ieice.org/jpn/trans_online/ |
| URI: | http://hdl.handle.net/10119/7926 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IEICE97-2.pdf | | 740Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
