scientific article; zbMATH DE number 6292627
From MaRDI portal
Publication:5414601
DOI10.4086/cjtcs.2012.006zbMath1286.68158arXiv1012.5699OpenAlexW4249531483MaRDI QIDQ5414601
Publication date: 6 May 2014
Published in: Chicago Journal of Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1012.5699
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12)
Related Items (3)
This page was built for publication: