Ogata Kazuhiro | Japan Advanced Inst. Of Sci. And Technol. (jaist)

スポンサーリンク

概要

• OGATA Kazuhiroの詳細を見る
• 同名の論文著者
• Japan Advanced Inst. Of Sci. And Technol. (jaist)の論文著者

関連著者

• Ogata Kazuhiro

  Japan Advanced Institute Of Science And Technology (jaist)

• Ogata Kazuhiro

  Japan Advanced Inst. Of Sci. And Technol. (jaist)

• Zhang Min

  Japan Advanced Institute of Science and Technology (JAIST)

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  Kanazawa University

著作論文

• Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
• Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
• FOREWORD

スポンサーリンク