【4/18更新】CiNii ArticlesのCiNii Researchへの統合について

Verified Decision Procedures on Context-Free Grammars

書誌事項

タイトル
Verified Decision Procedures on Context-Free Grammars
著者
Y.Minamide

収録刊行物

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1010000782456288005
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ