Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966941128> ?p ?o ?g. }
- W2966941128 abstract "In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events. QTL employs the projections on subspaces as atomic propositions, which was established in the Birkhoff and von Neumann's classic treatise on quantum logic. For deterministic functional quantum program, We prove a quantum Bohm-Jacopini theorem which states that any such program is equivalent to a Q-While program. The decidability of basic QTL formulae for general quantum concurrent program is studied." @default.
- W2966941128 created "2019-08-22" @default.
- W2966941128 creator A5088217238 @default.
- W2966941128 date "2019-08-01" @default.
- W2966941128 modified "2023-09-27" @default.
- W2966941128 title "Quantum Temporal Logic." @default.
- W2966941128 cites W141186374 @default.
- W2966941128 cites W1498858133 @default.
- W2966941128 cites W1537615043 @default.
- W2966941128 cites W1543118902 @default.
- W2966941128 cites W1614518745 @default.
- W2966941128 cites W1630029119 @default.
- W2966941128 cites W1665191561 @default.
- W2966941128 cites W1802214495 @default.
- W2966941128 cites W1853715199 @default.
- W2966941128 cites W1855444172 @default.
- W2966941128 cites W1970603830 @default.
- W2966941128 cites W1987631685 @default.
- W2966941128 cites W1988413534 @default.
- W2966941128 cites W1994350081 @default.
- W2966941128 cites W1999626800 @default.
- W2966941128 cites W2016769804 @default.
- W2966941128 cites W2023808162 @default.
- W2966941128 cites W2044357043 @default.
- W2966941128 cites W2044912742 @default.
- W2966941128 cites W2047335481 @default.
- W2966941128 cites W2053836944 @default.
- W2966941128 cites W2063705126 @default.
- W2966941128 cites W2068935383 @default.
- W2966941128 cites W2077160660 @default.
- W2966941128 cites W2079572249 @default.
- W2966941128 cites W2080282663 @default.
- W2966941128 cites W2102075452 @default.
- W2966941128 cites W2112989388 @default.
- W2966941128 cites W2121087903 @default.
- W2966941128 cites W2121369607 @default.
- W2966941128 cites W2122240948 @default.
- W2966941128 cites W2126098510 @default.
- W2966941128 cites W2138408756 @default.
- W2966941128 cites W2141008943 @default.
- W2966941128 cites W2147119042 @default.
- W2966941128 cites W2155544688 @default.
- W2966941128 cites W2160347025 @default.
- W2966941128 cites W2166656159 @default.
- W2966941128 cites W2338028966 @default.
- W2966941128 cites W2546724314 @default.
- W2966941128 cites W2562491126 @default.
- W2966941128 cites W2563269605 @default.
- W2966941128 cites W2583737145 @default.
- W2966941128 cites W2782008718 @default.
- W2966941128 cites W2898709003 @default.
- W2966941128 cites W2909898489 @default.
- W2966941128 cites W2912352268 @default.
- W2966941128 cites W2914012520 @default.
- W2966941128 cites W2922682171 @default.
- W2966941128 cites W294073838 @default.
- W2966941128 cites W2955434816 @default.
- W2966941128 cites W2962822640 @default.
- W2966941128 cites W2963787308 @default.
- W2966941128 cites W2963975928 @default.
- W2966941128 cites W3007889862 @default.
- W2966941128 cites W3126077699 @default.
- W2966941128 cites W3126124413 @default.
- W2966941128 cites W3126996113 @default.
- W2966941128 cites W315375968 @default.
- W2966941128 cites W31810340 @default.
- W2966941128 cites W32507011 @default.
- W2966941128 cites W2900622314 @default.
- W2966941128 hasPublicationYear "2019" @default.
- W2966941128 type Work @default.
- W2966941128 sameAs 2966941128 @default.
- W2966941128 citedByCount "4" @default.
- W2966941128 countsByYear W29669411282019 @default.
- W2966941128 countsByYear W29669411282020 @default.
- W2966941128 countsByYear W29669411282021 @default.
- W2966941128 crossrefType "posted-content" @default.
- W2966941128 hasAuthorship W2966941128A5088217238 @default.
- W2966941128 hasConcept C121332964 @default.
- W2966941128 hasConcept C12362212 @default.
- W2966941128 hasConcept C137019171 @default.
- W2966941128 hasConcept C153269930 @default.
- W2966941128 hasConcept C169460222 @default.
- W2966941128 hasConcept C169590947 @default.
- W2966941128 hasConcept C190474826 @default.
- W2966941128 hasConcept C199360897 @default.
- W2966941128 hasConcept C202444582 @default.
- W2966941128 hasConcept C33923547 @default.
- W2966941128 hasConcept C41008148 @default.
- W2966941128 hasConcept C43682372 @default.
- W2966941128 hasConcept C58053490 @default.
- W2966941128 hasConcept C62520636 @default.
- W2966941128 hasConcept C80444323 @default.
- W2966941128 hasConcept C80469333 @default.
- W2966941128 hasConcept C84114770 @default.
- W2966941128 hasConceptScore W2966941128C121332964 @default.
- W2966941128 hasConceptScore W2966941128C12362212 @default.
- W2966941128 hasConceptScore W2966941128C137019171 @default.
- W2966941128 hasConceptScore W2966941128C153269930 @default.
- W2966941128 hasConceptScore W2966941128C169460222 @default.
- W2966941128 hasConceptScore W2966941128C169590947 @default.