|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "Nakamura, Masaki"
5 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| 1-Jun-2006 | A Behavioral Specification of Imperative Programming Languages | NAKAMURA, Masaki; WATANABE, Masahiro; FUTATSUGI, Kokichi |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 9-Nov-2010 | Specification Translation of State Machines from Equational Theories into Rewrite Theories | Zhang, Min; Ogata, Kazuhiro; Nakamura, Masaki |
|
