文献

J-GLOBAL ID：201102264988758644   整理番号：11A0467875

等式定理から書換え定理へのステートマシンの仕様翻訳

Specification Translation of State Machines from Equational Theories into Rewrite Theories

著者 (3件)： ZHANG Min (Japan Advanced Inst. Sci. and Technol.(JAIST)) ,  OGATA Kazuhiro (Japan Advanced Inst. Sci. and Technol.(JAIST)) ,  NAKAMURA Masaki (Kanazawa Univ.)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6447  ページ： 678-693  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 定理 ,  書換え ,  マシン ,  仕様 ,  翻訳