高階書換え系の単一正規形性

真野 健  小川 瑞史  

誌名
電子情報通信学会論文誌 D   Vol.J80-D1   No.3   pp.258-268
発行日: 1997/03/25
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: 論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系,  高階書換え系,  合流性,  単一正規形性,  

本文: PDF(739.2KB)>>
論文を購入




あらまし: 
Van Oostromとvan Raamsdonkの提案したパターン高階書換え系の枠組みにおいて,左線形性を仮定しない単一正規形性の十分条件を示す.