Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560896177> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1560896177 abstract "Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic for both partial and total correctness of quantum programs. It is proved that this logic is (relatively) complete by exploiting the power of weakest preconditions and weakest liberal preconditions for quantum programs." @default.
- W1560896177 created "2016-06-24" @default.
- W1560896177 creator A5023088481 @default.
- W1560896177 date "2013-01-01" @default.
- W1560896177 modified "2023-10-16" @default.
- W1560896177 title "Hoare Logic for Quantum Programs" @default.
- W1560896177 cites W1481018260 @default.
- W1560896177 cites W1498858133 @default.
- W1560896177 cites W1537615043 @default.
- W1560896177 cites W1543118902 @default.
- W1560896177 cites W1619379664 @default.
- W1560896177 cites W1802214495 @default.
- W1560896177 cites W1971031102 @default.
- W1560896177 cites W1999626800 @default.
- W1560896177 cites W2044912742 @default.
- W1560896177 cites W2053660378 @default.
- W1560896177 cites W2072765545 @default.
- W1560896177 cites W2079572249 @default.
- W1560896177 cites W2121087903 @default.
- W1560896177 cites W2121369607 @default.
- W1560896177 cites W2126098510 @default.
- W1560896177 cites W2138408756 @default.
- W1560896177 cites W2155544688 @default.
- W1560896177 cites W2338028966 @default.
- W1560896177 cites W2583737145 @default.
- W1560896177 cites W2914012520 @default.
- W1560896177 cites W3007889862 @default.
- W1560896177 cites W315375968 @default.
- W1560896177 cites W94183712 @default.
- W1560896177 hasPublicationYear "2013" @default.
- W1560896177 type Work @default.
- W1560896177 sameAs 1560896177 @default.
- W1560896177 citedByCount "4" @default.
- W1560896177 countsByYear W15608961772016 @default.
- W1560896177 countsByYear W15608961772019 @default.
- W1560896177 countsByYear W15608961772020 @default.
- W1560896177 countsByYear W15608961772021 @default.
- W1560896177 crossrefType "posted-content" @default.
- W1560896177 hasAuthorship W1560896177A5023088481 @default.
- W1560896177 hasConcept C104949639 @default.
- W1560896177 hasConcept C121332964 @default.
- W1560896177 hasConcept C128838566 @default.
- W1560896177 hasConcept C156325763 @default.
- W1560896177 hasConcept C165801399 @default.
- W1560896177 hasConcept C172385210 @default.
- W1560896177 hasConcept C173856430 @default.
- W1560896177 hasConcept C184337299 @default.
- W1560896177 hasConcept C199360897 @default.
- W1560896177 hasConcept C207648694 @default.
- W1560896177 hasConcept C2777796570 @default.
- W1560896177 hasConcept C30128091 @default.
- W1560896177 hasConcept C41008148 @default.
- W1560896177 hasConcept C55439883 @default.
- W1560896177 hasConcept C58041814 @default.
- W1560896177 hasConcept C62520636 @default.
- W1560896177 hasConcept C80444323 @default.
- W1560896177 hasConceptScore W1560896177C104949639 @default.
- W1560896177 hasConceptScore W1560896177C121332964 @default.
- W1560896177 hasConceptScore W1560896177C128838566 @default.
- W1560896177 hasConceptScore W1560896177C156325763 @default.
- W1560896177 hasConceptScore W1560896177C165801399 @default.
- W1560896177 hasConceptScore W1560896177C172385210 @default.
- W1560896177 hasConceptScore W1560896177C173856430 @default.
- W1560896177 hasConceptScore W1560896177C184337299 @default.
- W1560896177 hasConceptScore W1560896177C199360897 @default.
- W1560896177 hasConceptScore W1560896177C207648694 @default.
- W1560896177 hasConceptScore W1560896177C2777796570 @default.
- W1560896177 hasConceptScore W1560896177C30128091 @default.
- W1560896177 hasConceptScore W1560896177C41008148 @default.
- W1560896177 hasConceptScore W1560896177C55439883 @default.
- W1560896177 hasConceptScore W1560896177C58041814 @default.
- W1560896177 hasConceptScore W1560896177C62520636 @default.
- W1560896177 hasConceptScore W1560896177C80444323 @default.
- W1560896177 hasLocation W15608961771 @default.
- W1560896177 hasOpenAccess W1560896177 @default.
- W1560896177 hasPrimaryLocation W15608961771 @default.
- W1560896177 hasRelatedWork W1664980806 @default.
- W1560896177 hasRelatedWork W1999626800 @default.
- W1560896177 hasRelatedWork W2044912742 @default.
- W1560896177 hasRelatedWork W2121087903 @default.
- W1560896177 hasRelatedWork W2123464354 @default.
- W1560896177 hasRelatedWork W2126098510 @default.
- W1560896177 hasRelatedWork W2138408756 @default.
- W1560896177 hasRelatedWork W2155544688 @default.
- W1560896177 hasRelatedWork W2775903035 @default.
- W1560896177 hasRelatedWork W2912001071 @default.
- W1560896177 hasRelatedWork W2955574958 @default.
- W1560896177 hasRelatedWork W3007889862 @default.
- W1560896177 hasRelatedWork W3045096251 @default.
- W1560896177 hasRelatedWork W3105304321 @default.
- W1560896177 hasRelatedWork W3105690832 @default.
- W1560896177 hasRelatedWork W3107462780 @default.
- W1560896177 hasRelatedWork W3113530183 @default.
- W1560896177 hasRelatedWork W3126077699 @default.
- W1560896177 hasRelatedWork W3197692815 @default.
- W1560896177 hasRelatedWork W564852913 @default.
- W1560896177 isParatext "false" @default.
- W1560896177 isRetracted "false" @default.
- W1560896177 magId "1560896177" @default.
- W1560896177 workType "article" @default.