正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)

機関リポジトリ (HANDLE) オープンアクセス

書誌事項

タイトル別名
  • セイソク シュウゴウ ニ ヒョウゲン トウカ ナ テンポラル ロジック アルゴリズム ノ スウガクテキ キソ リロン ト ソノ オウヨウ

この論文をさがす

収録刊行物

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

  • CRID
    1050001202111572352
  • NII論文ID
    110006400738
  • NII書誌ID
    AN00061013
  • ISSN
    18802818
  • HANDLE
    2433/99456
  • 本文言語コード
    ja
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ