Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
Uložené v:
| Vydané v: | Computer Aided Verification Ročník 11562 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Switzerland
Springer International Publishing AG
2019
|
| ISBN: | 3030255425, 9783030255428 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| BookMark | eNo9jstKAzEYhSNe0Na-gYt5geife7IsxapQEMG6HZJM0o5OJzVJ39_ibXU43weHM0FnYxoDQjcEbgmAujNKY4aBAaZCcIZFS-gJmh0xO8JvJk7R5K9QcYEmhDDKKQcjL9GslHcAoBS0YfIKLZYp7-zQvIXcx97b2qexSbF5OdixHnbNfNik3NftrjTr0o-bf_GYbA7NKm16f43Oox1KmP3mFK2X96-LR7x6fnhazFd4T7ms2EavXHRgBJfGd0IbIEI63ykvNZM6RGo70QknorfadseH3jvDwUdwHVFsivjP7j6nz0MotQ0upQ8fxprt4Ld2X0MurTBUgZYtYaqlQNkXM3VZzw |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-030-25543-5_12 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783030255435 3030255433 |
| Editor | Dillig, Isil Tasiran, Serdar |
| Editor_xml | – sequence: 1 fullname: Tasiran, Serdar – sequence: 2 fullname: Dillig, Isil |
| ExternalDocumentID | EBC5927086_137_202 |
| GroupedDBID | 38. AABBV AAJYQ AAKKN AALJR AAQKC AATVQ ABBUY ABCYT ABEEZ ACDTA ACDUY ADOGT AEDXK AEHEY AEJLV AEKFX AGWHU AHNNE AIFIR AIQUZ ALEXF ALMA_UNASSIGNED_HOLDINGS ALNDD ATJMZ AYMPB BBABE CXBFT CZZ EIXGO EXGDT FCSXQ FFUUA I4C IEZ MGZZY NSQWD OORQV SBO TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 |
| ID | FETCH-LOGICAL-p246t-afc7bfb095469cd5890156bcd7c68368ef2ad5d5b5fca8ad089ccb940cf0bd173 |
| ISBN | 3030255425 9783030255428 |
| ISICitedReferencesCount | 45 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000491468900012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Oct 21 02:15:42 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p246t-afc7bfb095469cd5890156bcd7c68368ef2ad5d5b5fca8ad089ccb940cf0bd173 |
| OCLC | 1132424096 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007%2F978-3-030-25543-5_12.pdf |
| PQID | EBC5927086_137_202 |
| ParticipantIDs | proquest_ebookcentralchapters_5927086_137_202 |
| PublicationCentury | 2000 |
| PublicationDate | 2019 |
| PublicationDateYYYYMMDD | 2019-01-01 |
| PublicationDate_xml | – year: 2019 text: 2019 |
| PublicationDecade | 2010 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II |
| PublicationTitle | Computer Aided Verification |
| PublicationYear | 2019 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0002208936 |
| Score | 2.2516634 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | Formal Verification of Quantum Algorithms Using Quantum Hoare Logic |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5927086&ppg=202 |
| Volume | 11562 |
| WOSCitedRecordID | wos000491468900012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELYAMSAG3uItD2zIkpuXkxEqoBMCCRBblJxjqARp6QPx87lznDYpLAwsUWTn4fhL7O--3PkYO_N1IAvVCYXO8WsKjJQiQ1tZAJKFgmaIQhqbbELd3sbPz8mdS4I4tukEVFnGX1_J8F-hxjIEm0Jn_wD37KJYgPsIOm4RdtwuMOK29lotNuCSNJxf9DVSySe8oXGqXPPluCam-taqJtZ4P8V-JsX-7WUw6k9e38fnlUtBXdEbkKMY5WeGplxAEUotuaCWCxcEx4bmdXHTMjFxiiOzI3Ah3PWYiWaf9-sI3HS6wFMFneuLMHXO0q0Frz25UGjn1avLbph4Cm2ttOOrlA4afgjKE0b_013SlGW2rBSNa0-d3kxT8zyJ9CuiEJ661WG1yNL8KRrhk7818seUbHnGwyZbp9gTTkEh2NYttlSU22yjBpW7gXiHdSsAeRNAPjDc4cTnAHIL4KzCAsgtgLvs8frqodsTLh2GGHpBNBGZAZWbHDlxECWgw5ioXJSDVhDFfhQXxst0qMM8NJDFmca-AMiTQIKRue4of4-tlIOy2GeclgwCiUzPj_0ACsik9iGDHDJPR0bJAybqXkjtT3vnKQzV44_TBYAO_3j8EVubv5vHbGUymhYnbBU-J_3x6NSC-g14NFCf |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Computer+Aided+Verification&rft.atitle=Formal+Verification+of+Quantum+Algorithms+Using+Quantum+Hoare+Logic&rft.date=2019-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030255428&rft.volume=11562&rft_id=info:doi/10.1007%2F978-3-030-25543-5_12&rft.externalDBID=202&rft.externalDocID=EBC5927086_137_202 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5927086-l.jpg |