Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68513OpenAlexW4300984554MaRDI QIDQ5395117

M. K. Patra

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11560647

zbMATH Keywords

complexityquantum computingprobability logicquantum circuits

Mathematics Subject Classification ID

Quantum computation (81P68) Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005