文献
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)