Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data

書誌事項

タイトル
Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data
著者
Mitsuo Wakatsuki

収録刊行物

関連プロジェクト

もっと見る

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

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

問題の指摘

ページトップへ