Q3384929 (Q3384929): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00699
@@ Property / arXiv ID: 1803.00699 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified compilation of space-efficient reversible circuits
+Normal rank
@@ Property / cites work @@
+Q5015189
@@ Property / cites work: Q5015189 / rank @@
+Normal rank
@@ Property / cites work @@
+Coquelicot: a user-friendly library of real analysis for Coq
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / rank @@
+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 @@
+Q5109520
@@ Property / cites work: Q5109520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560839
@@ Property / cites work: Q3560839 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ Property / cites work @@
+Invariants of quantum programs: characterisations and generation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3384929