Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11786
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCarlos Eduardo Tavaresen
dc.contributor.other4852en
dc.date.accessioned2020-11-25T16:24:56Z-
dc.date.available2020-11-25T16:24:56Z-
dc.date.issued2019en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/11786-
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-030-38808-9_13en
dc.description.abstractWe define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a probabilistic semantics to the classical part. We exercise it with the quantum coin toss program. © 2020, Springer Nature Switzerland AG.en
dc.languageengen
dc.titleA Dynamic Logic for QASM Programsen
dc.typePublicationen
dc.typeconferenceObjecten
Appears in Collections:HASLab - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00R-QPV.pdf344.39 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.