-
1by Spector, LeeTable of Contents: “… of Quantum Programs -- Evolved Quantum Programs -- Conclusions and Prospects.…”
Published 2004
Full Text via HEAL-Link
Electronic eBook -
2Published 2007Table of Contents: “… of Quantum Programs -- Evolved Quantum Programs -- Conclusions and Prospects.…”
Full Text via HEAL-Link
Electronic eBook -
3Published 2016Table of Contents: “…, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming…”
Full Text via HEAL-Link
Electronic eBook -
4Published 2024“… typing and session types; dependent types; Part II: Quantum programming and domain-specific languages…”
Get full text
-
5Published 2024“… typing and session types; dependent types; Part II: Quantum programming and domain-specific languages…”
Get full text
-
6Published 2016Table of Contents: “… -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant…”
Full Text via HEAL-Link
Electronic eBook -
7Published 2000Table of Contents: “… Commands -- Quantum Programming -- Regular Expressions Revisited: A Coinductive Approach to Streams…”
Full Text via HEAL-Link
Electronic eBook -
8Table of Contents: “… in the Cloud -- 4. QISKit, Awesome SDK for Quantum Programming in Python -- 5. Start Your Engines: From Quantum…”
Full Text via HEAL-Link
Electronic eBook -
9Published 2009Table of Contents: “… -- A Logic for Formal Verification of Quantum Programs -- Reducing Equational Theories for the Decision…”
Full Text via HEAL-Link
Electronic eBook -
10Published 2018Table of Contents: “… -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling…”
Full Text via HEAL-Link
Electronic eBook -
11
-
12Published 2004Table of Contents: “…Invited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous…”
Full Text via HEAL-Link
Electronic eBook -
13Published 2019Table of Contents: “… of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a…”
Full Text via HEAL-Link
Electronic eBook -
14
-
15Published 2016Table of Contents: “… Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets…”
Full Text via HEAL-Link
Electronic eBook -
16Published 2009Table of Contents: “… by Quasi-finality -- Verifying Compiled File System Code -- Reasoning about General Quantum Programs over…”
Full Text via HEAL-Link
Electronic eBook -
17Published 2010Table of Contents: “…Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract…”
Full Text via HEAL-Link
Electronic eBook -
18Published 2009Table of Contents: “… and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming…”
Full Text via HEAL-Link
Electronic eBook -
19Published 2017Table of Contents: “… Pulmonary Fibrosis.- IoT Contextual Factors on Health Care.- Methods and Patterns for User-friendly Quantum…”
Full Text via HEAL-Link
Electronic eBook -
20Published 2009Table of Contents: “… Computable Manifolds and Homotopy Groups -- Distributed Quantum Programming -- Foundations of Optical…”
Full Text via HEAL-Link
Electronic eBook