Sakanushi K | The Graduate School Of Information Science And Technology Osaka University
スポンサーリンク
概要
- SAKANUSHI Keishiの詳細を見る
- 同名の論文著者
- The Graduate School Of Information Science And Technology Osaka Universityの論文著者
The Graduate School Of Information Science And Technology Osaka University | 論文
- Timed Uniform Atomic Broadcast in Presence of Crash and Timing Faults(Foundations of Computer Science)
- 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)