【10/4更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

Transformation for Refining Unraveled Conditional Term Rewriting Systems

書誌事項

タイトル
Transformation for Refining Unraveled Conditional Term Rewriting Systems
著者
Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai

収録刊行物

被引用文献 (0)*注記

もっと見る

参考文献 (0)*注記

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1010282256848257310
  • 資料種別
    journal article
  • データソース種別
    • KAKEN
ページトップへ