-
1
Generators and relations for n-qubit Clifford operators
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
Quantum circuits of T -depth one
Veröffentlicht in Physical review. A, Atomic, molecular, and optical physics
VolltextArtikel -
3
Towards a quantum programming language
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
4
-
5
-
6
Linear Dependent Type Theory for Quantum Programming Languages
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
7
-
8
-
9
A finite alternation result for reversible boolean circuits
Veröffentlicht in Science of computer programming
VolltextArtikel -
10
Completely positive projections and biproducts
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20