A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2017.01.007
@@ Property / DOI: 10.1016/j.ic.2017.01.007 / rank @@
-Normal rank
@@ Property / cites work @@
+A categorical quantum logic
@@ Property / cites work: A categorical quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic as a dynamic logic
@@ Property / cites work: Quantum logic as a dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Tableaux for Distributed Temporal Logic
@@ Property / cites work: Labelled Tableaux for Distributed Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed temporal logic for the analysis of security protocol models
+Normal rank
@@ Property / cites work @@
+Natural deduction for non-classical logics
@@ Property / cites work: Natural deduction for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Results for a Quantum Lambda Calculus with Measurements
+Normal rank
@@ Property / cites work @@
+Q4342085
@@ Property / cites work: Q4342085 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying communication in distributed information systems
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Q3543575
@@ Property / cites work: Q3543575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3529415
@@ Property / cites work: Q3529415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled natural deduction for a bundled branching temporal logic
+Normal rank
@@ Property / cites work @@
+Q5389322
@@ Property / cites work: Q5389322 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of quantum logic
@@ Property / cites work: The modal logic of quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computing
@@ Property / cites work: Quantum Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3445918
@@ Property / cites work: Q3445918 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum State Transformations and Branching Distributed Temporal Logic
+Normal rank
@@ Property / cites work @@
+An algebra of quantum processes
@@ Property / cites work: An algebra of quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2017.01.007
@@ Property / DOI: 10.1016/J.IC.2017.01.007 / rank @@
+Normal rank