Tomoyuki Yamakami | Department Of Information Science University Of Fukui
スポンサーリンク
概要
関連著者
著作論文
- 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)