文献

J-GLOBAL ID：200902026698021315   整理番号：91A0860964

動的項書換え計算モデルとその応用

Dynamic Term Rewriting Calculus and Its Application.

著者 (3件)： FENG S (名古屋大) ,  坂部俊樹 (名古屋大) ,  稲垣康善 (名古屋大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 91  号： 224(COMP91 43-52)  ページ： 31-40  発行年： 1991年09月20日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
発行国： 日本 (JPN)  言語： 日本語 (JA)

タイトルに関連する用語 (3件)： 項書換え ,  計算モデル ,  応用