|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
QIT (2nd) |
2018-06-04 13:20 |
Hiroshima |
ICCH Ran |
[Poster Presentation]
Sequent calculus for Dynamic quantum logic Tomoaki Kawano (Tokyo tech) |
Dynamic quantum logic is used to express the dynamics of quantum physics and quantum computing. There are several model ... [more] |
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|