Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing
Xiaodi Wu · ACM Transactions on Quantum Computing · 2021
introduction Share on Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing Editor: Xiaodi Wu Department of Computer Science and Institute for Advanced Computer Studies, Joint Center for Quantum Information and Computer Science, University of Maryland, College Park Department of Computer Science and Institute for Advanced Computer Studies, Joint Center for Quantum Information and Computer Science, University of Maryland, College ParkView Profile Authors Info & Claims ACM Transactions on Quantum ComputingVolume 2Issue 4December 2021 Article No.: 15pp 1–3https://doi.org/10.1145/3488389Online:21 December 2021Publication History 0citation81DownloadsMetricsTotal Citations0Total Downloads81Last 12 Months81Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access