List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Automated quantum program verification in dynamic quantum logic | 2024-05-29 | Paper |
| Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ACM Transactions on Computational Logic | 2023-07-18 | Paper |
| Translation from three-valued quantum logic to modal logic International Journal of Theoretical Physics | 2021-11-05 | Paper |
| Extension of the Sheaf-theoretic Structure to Algebraic Quantum Field Theory | 2015-10-29 | Paper |
Research outcomes over time
This page was built for person: Tsubasa Takagi
