Matches in SemOpenAlex for { <https://semopenalex.org/work/W3001906912> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3001906912 endingPage "144" @default.
- W3001906912 startingPage "144" @default.
- W3001906912 abstract "The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch's algorithm and the concealing property of quantum bit commitment." @default.
- W3001906912 created "2020-01-30" @default.
- W3001906912 creator A5076675230 @default.
- W3001906912 creator A5082260355 @default.
- W3001906912 date "2020-01-24" @default.
- W3001906912 modified "2023-10-05" @default.
- W3001906912 title "A First Step to the Categorical Logic of Quantum Programs" @default.
- W3001906912 cites W1430738455 @default.
- W3001906912 cites W1782172301 @default.
- W3001906912 cites W1853605859 @default.
- W3001906912 cites W1971712894 @default.
- W3001906912 cites W1993190958 @default.
- W3001906912 cites W2003803711 @default.
- W3001906912 cites W2020750044 @default.
- W3001906912 cites W2033439890 @default.
- W3001906912 cites W2044357043 @default.
- W3001906912 cites W2044912742 @default.
- W3001906912 cites W2069477494 @default.
- W3001906912 cites W2073128269 @default.
- W3001906912 cites W2075695434 @default.
- W3001906912 cites W2077160660 @default.
- W3001906912 cites W2112989388 @default.
- W3001906912 cites W2119180894 @default.
- W3001906912 cites W2121069757 @default.
- W3001906912 cites W2126098510 @default.
- W3001906912 cites W2135567477 @default.
- W3001906912 cites W2138408756 @default.
- W3001906912 cites W2150741734 @default.
- W3001906912 cites W2155544688 @default.
- W3001906912 cites W2726784712 @default.
- W3001906912 cites W2950993906 @default.
- W3001906912 cites W3103730115 @default.
- W3001906912 cites W3104500086 @default.
- W3001906912 cites W3126996113 @default.
- W3001906912 cites W66921489 @default.
- W3001906912 doi "https://doi.org/10.3390/e22020144" @default.
- W3001906912 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7516558" @default.
- W3001906912 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/33285919" @default.
- W3001906912 hasPublicationYear "2020" @default.
- W3001906912 type Work @default.
- W3001906912 sameAs 3001906912 @default.
- W3001906912 citedByCount "5" @default.
- W3001906912 countsByYear W30019069122020 @default.
- W3001906912 countsByYear W30019069122021 @default.
- W3001906912 countsByYear W30019069122022 @default.
- W3001906912 crossrefType "journal-article" @default.
- W3001906912 hasAuthorship W3001906912A5076675230 @default.
- W3001906912 hasAuthorship W3001906912A5082260355 @default.
- W3001906912 hasBestOaLocation W30019069121 @default.
- W3001906912 hasConcept C111472728 @default.
- W3001906912 hasConcept C121332964 @default.
- W3001906912 hasConcept C138885662 @default.
- W3001906912 hasConcept C154945302 @default.
- W3001906912 hasConcept C169460222 @default.
- W3001906912 hasConcept C189950617 @default.
- W3001906912 hasConcept C199360897 @default.
- W3001906912 hasConcept C41008148 @default.
- W3001906912 hasConcept C55439883 @default.
- W3001906912 hasConcept C58053490 @default.
- W3001906912 hasConcept C60048249 @default.
- W3001906912 hasConcept C62520636 @default.
- W3001906912 hasConcept C80444323 @default.
- W3001906912 hasConcept C84114770 @default.
- W3001906912 hasConceptScore W3001906912C111472728 @default.
- W3001906912 hasConceptScore W3001906912C121332964 @default.
- W3001906912 hasConceptScore W3001906912C138885662 @default.
- W3001906912 hasConceptScore W3001906912C154945302 @default.
- W3001906912 hasConceptScore W3001906912C169460222 @default.
- W3001906912 hasConceptScore W3001906912C189950617 @default.
- W3001906912 hasConceptScore W3001906912C199360897 @default.
- W3001906912 hasConceptScore W3001906912C41008148 @default.
- W3001906912 hasConceptScore W3001906912C55439883 @default.
- W3001906912 hasConceptScore W3001906912C58053490 @default.
- W3001906912 hasConceptScore W3001906912C60048249 @default.
- W3001906912 hasConceptScore W3001906912C62520636 @default.
- W3001906912 hasConceptScore W3001906912C80444323 @default.
- W3001906912 hasConceptScore W3001906912C84114770 @default.
- W3001906912 hasIssue "2" @default.
- W3001906912 hasLocation W30019069121 @default.
- W3001906912 hasLocation W30019069122 @default.
- W3001906912 hasLocation W30019069123 @default.
- W3001906912 hasOpenAccess W3001906912 @default.
- W3001906912 hasPrimaryLocation W30019069121 @default.
- W3001906912 hasRelatedWork W1516169988 @default.
- W3001906912 hasRelatedWork W1517743118 @default.
- W3001906912 hasRelatedWork W2024218563 @default.
- W3001906912 hasRelatedWork W2072806201 @default.
- W3001906912 hasRelatedWork W2096912722 @default.
- W3001906912 hasRelatedWork W2166247150 @default.
- W3001906912 hasRelatedWork W2965845133 @default.
- W3001906912 hasRelatedWork W4243252198 @default.
- W3001906912 hasRelatedWork W4246531319 @default.
- W3001906912 hasRelatedWork W4384648128 @default.
- W3001906912 hasVolume "22" @default.
- W3001906912 isParatext "false" @default.
- W3001906912 isRetracted "false" @default.
- W3001906912 magId "3001906912" @default.
- W3001906912 workType "article" @default.