Self-Verifying Nondeterministic and Las Vegas Multihead Finte Automata

書誌事項

タイトル別名
  • Self Verifying Nondeterministic and Las Vegas Multihead Finte Automata
  • 自己検証非決定性ならびにラスベガスマルチヘッド有限オートマタ

この論文をさがす

収録刊行物

参考文献 (22)*注記

もっと見る

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

問題の指摘

ページトップへ