Login / Signup

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect.

Tsubasa Takagi
Published in: ACM Trans. Comput. Log. (2023)
Keyphrases