scientific article
From MaRDI portal
Publication:2721095
zbMath0963.68037MaRDI QIDQ2721095
No author found.
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Reachability analysis of quantum Markov decision processes ⋮ Commutativity of quantum weakest preconditions ⋮ SOS formats and meta-theory: 20 years after ⋮ Towards implementation of a generalized architecture for high-level quantum programming language ⋮ A probability perspective ⋮ Quantum computation: from a programmer's perspective ⋮ Termination of nondeterministic quantum programs ⋮ Proof rules for the correctness of quantum programs ⋮ Probabilistic bisimulations for quantum processes ⋮ FJQuantum. A quantum object oriented language ⋮ Compiling quantum programs ⋮ Quantum loop programs ⋮ Generalised quantum weakest preconditions ⋮ qGCL ⋮ Reasoning about faulty quantum programs ⋮ Formal meta-level analysis framework for quantum programming languages ⋮ Quantum Patterns and Types for Entanglement and Separability ⋮ Quantum Programming With Mixed States ⋮ Quantum Data and Control Made Easier
This page was built for publication:
