scientific article
From MaRDI portal
Publication:3560842
zbMath1209.68250MaRDI QIDQ3560842
Simon Perdrix, Elham Kashefi, Prakash Panangaden, Vincent Danos
Publication date: 14 May 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsdenotational semanticsalgebra of programsmeasurement-based quantum computationprojection-based models of quantum computing
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Outcome determinism in measurement-based quantum computation with qudits ⋮ A dynamic programming approach to multi-objective logic synthesis of quantum circuits ⋮ Unnamed Item ⋮ Quantum computation: from a programmer's perspective ⋮ Automatic translation of quantum circuits to optimized one-way quantum computation patterns ⋮ Qubit mapping of one-way quantum computation patterns onto 2D nearest-neighbor architectures ⋮ Optimization of one-way quantum computation measurement patterns ⋮ Contextuality in multipartite pseudo-telepathy graph games ⋮ Unnamed Item ⋮ Reversibility in Extended Measurement-Based Quantum Computation ⋮ Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition