Similarity on algebraic specifications toward specification databases

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文

著者

• Agusa Kiyoshi

  School Of Engineering Nagoya University

• 酒井 正彦

  北陸先端科学技術大学院大学

• Kawakita Makoto

  School Of Engineering Nagoya University

• Matsui Soichi

  Mitsubishi Electric Corporation

関連論文

• 高階項書換え系における改良再帰分解順序について
• 高階項書換え系の停止性について
• 共有メモリ型並列計算機における項書換え系の実現方式
• Similarity on algebraic specifications toward specification databases
• エラー付き代数的仕様とエラー記述の自動付加
• An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture
• 項書換え系の合流性を保存する合併条件について
• 条件付き項書換え系の合流性について
• 重なりのある強逐次系のインデックス簡約について
• 条件付き項書換え系の合流性について
• NVNF-逐次系におけるインデックスの決定可能性
• 項集合書換え系とその合流性
• 項集合書換え系の合流性について
• 形式的仕様を用いた再利用モデル

もっと見る 閉じる

スポンサーリンク