Analysis and Extension of Omega-Rule

書誌事項

タイトル
Analysis and Extension of Omega-Rule
著者
Ryota Akiyoshi, Grigori Mints

収録刊行物

関連プロジェクト

もっと見る

詳細情報

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

問題の指摘

ページトップへ