23 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Yannik N. Böck, Holger Boche, Frank H. P. Fitzek
We consider a formal model of quantum circuit description languages (QCDLs) in which semantically meaningful programs correspond to computable unitary matrices. We show that any se…