等式付き書換え系の等式数を削減する変換

書誌事項

タイトル別名
  • トウシキ ツキ カキカエ ケイ ノ トウシキスウ オ サクゲン スル ヘンカン

この論文をさがす

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (4)*注記

もっと見る

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ