Theoretical Aspects of Quantum Computing