Results 281 to 290 of about 1,783,241 (304)
Some of the next articles are maybe not open access.
Abstract Interpretation, Hoare Logic, and Incorrectness Logic for Quantum Programs
Information and Computation, 2023Sanjiang Li
exaly
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
2021Gilles Barthe, Justin Hsu, Nengkun Yu
exaly
Finite Automata Based on Quantum Logic and Monadic Second-Order Quantum Logic
Science China Information Sciences, 2010Li Yongming
exaly
A Theory of Computation Based on Quantum Logic (I)
Theoretical Computer Science, 2005Mingsheng Ying
exaly

