Verification Procedures of Assisted Proofs by One-Way Finite Automata
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2010-01-19
著者
関連論文
- Nondeterministic Pushdown Automata with Write-Only Output Tapes and Definable Function Classes (Preliminary Report)
- Verification Procedures of Assisted Proofs by One-Way Finite Automata
- One-Way Quantum Finite Automata and Advice (Preliminary Version)