Q3385643 (Q3385643): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10118
@@ Property / arXiv ID: 1901.10118 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified compilation of space-efficient reversible circuits
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Computing
@@ Property / cites work: Reversible Computing / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+REVS: a tool for space-optimized reversible circuit synthesis
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible simulations of elastic collisions
@@ Property / cites work: Reversible simulations of elastic collisions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384929
@@ Property / cites work: Q3384929 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ Property / cites work @@
+Dependent types and multi-monadic effects in F*
@@ Property / cites work: Dependent types and multi-monadic effects in F* / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical concepts in quantum programming
@@ Property / cites work: Classical concepts in quantum programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3385643