FOREWORD

スポンサーリンク

概要

• 論文の詳細を見る

著者

• Ogata Kazuhiro

  Japan Advanced Institute Of Science And Technology (jaist)

• Ogata Kazuhiro

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

関連論文

• 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

スポンサーリンク