316 followers
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect https://t.co/zhCbXReoFR https://t.co/YaXBKTt0Lw
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect https://t.co/zhCbXReoFR https://t.co/YaXBKTt0Lw
RT @YamanamiBooks: 高木翼氏の単著論文がACM Transactions on Computational Logic誌に掲載されました。 本論文で著者は「線形時相量子論理」および「動的線形時相量子論理」を提案しています。量子計算に関心のある方必見! htt…
高木翼氏の単著論文がACM Transactions on Computational Logic誌に掲載されました。 本論文で著者は「線形時相量子論理」および「動的線形時相量子論理」を提案しています。量子計算に関心のある方必見! https://t.co/wO3cv6XJh4 オープンアクセスです。 ↓論文はこちら↓ https://t.co/vhAYYCUPiE