櫻井　敬大

単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
櫻井　敬大  草刈　圭一朗  酒井　正彦  坂部　俊樹  西田　直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/04/01
Vol. J90-D  No. 4  pp. 978-989
論文種別: 特集論文 (フォーマルアプローチ論文特集)
専門分野: 基礎理論
キーワード: 
単純型項書換え系,  停止性,  強計算依存対法,  実効規則,  ラベル付け, 
  あらまし |  本文:PDF (303.6KB)