scientific article; zbMATH DE number 7439420

zbMath1477.81015arXiv1511.01572MaRDI QIDQ5015203

Kentaro Honda

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1511.01572

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Quantum coherence, entanglement, quantum correlations (81P40) Quantum algorithms and complexity in the theory of computing (68Q12)

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantum Patterns and Types for Entanglement and Separability
• A Hierarchy of Quantum Semantics
• Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Towards a quantum programming language

This page was built for publication: