|
| キーワード : 合流性
|
左線形かつK-開発閉包な項書換えシステムの合流性
岩見 宗弘 | 誌名: 電子情報通信学会論文誌 D
発行日: 2007/10/01
Vol. J90-D
No. 10 ;
pp. 2932-2935
論文種別:
レター
専門分野:
キーワード:
項書換えシステム, 合流性, 左線形, | | | あらまし | 本文:PDF(95.5KB) | |
| |
| |
|
高階書換え系の単一正規形性
真野 健 小川 瑞史 | 誌名: 電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1
No. 3 ;
pp. 258-268
論文種別:
論文
専門分野: ソフトウェア基礎
キーワード:
項書換え系, 高階書換え系, 合流性, 単一正規形性, | | | あらまし | 本文:PDF(739.2KB) | |
|
条件付き項書換え系の合流性について
高橋 宜孝 酒井 正彦 外山 芳人 | 誌名: 電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1
No. 11 ;
pp. 897-902
論文種別:
論文
専門分野: オートマン，言語理論，計算論
キーワード:
条件付き項書換え系, 合流性, 危険対, 不能性, | | | あらまし | 本文:PDF(353.2KB) | |
| |
| |
| |
|
|