確率時間オートマトンの確率時間弱模倣検証理論

書誌事項

タイトル別名
  • カクリツ ジカン オートマトン ノ カクリツ ジカン ジャク モホウ ケンショウ リロン
  • 計算理論とアルゴリズムの新展開 RIMS研究集会報告集
  • ケイサン リロン ト アルゴリズム ノ シン テンカイ RIMS ケンキュウ シュウカイ ホウコクシュウ

この論文をさがす

収録刊行物

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

問題の指摘

ページトップへ