Izumi T | Osaka Univ. Toyonaka‐shi Jpn
スポンサーリンク
概要
Osaka Univ. Toyonaka‐shi Jpn | 論文
- Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
- Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition(Computation and Computational Models)
- On the Power of Non-deterministic Quantum Finite Automata(Special Issue on Selected Papers from LA Symposium)
- An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division (Special Section on Discrete Mathematics and Its Applications)
- Improvement of Speech Quality in Distance-Based Howling Canceller