Tsubasa Takagi

From MaRDI portal
Person:2241024

Available identifiers

zbMath Open takagi.tsubasaMaRDI QIDQ2241024

List of research outcomes





PublicationDate of PublicationType
Automated quantum program verification in dynamic quantum logic2024-05-29Paper
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect2023-07-18Paper
Translation from three-valued quantum logic to modal logic2021-11-05Paper
Extension of the Sheaf-theoretic Structure to Algebraic Quantum Field Theory2015-10-29Paper

Research outcomes over time

This page was built for person: Tsubasa Takagi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2241024&oldid=6885190"
Powered by MediaWiki