真野 健


π-計算の名前制限の名前生成による実装の正しさ
河辺 義信 真野 健 堀田 英一 小暮 潔 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/03/01
Vol. J85-D1  No. 3  pp. 249-261
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
プロセス代数π-計算νπ-計算名前制限名前生成
 あらまし | 本文:PDF(332.7KB)

高階書換え系の単一正規形性
真野 健 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 258-268
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系高階書換え系合流性単一正規形性
 あらまし | 本文:PDF(739.2KB)