A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684): Difference between revisions

@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Computing
@@ Property / cites work: Reversible Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763630
@@ Property / cites work: Q2763630 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585437
@@ Property / cites work: Q5585437 / rank @@
+Normal rank
@@ Property / cites work @@
+White Dots do Matter: Rewriting Reversible Logic Circuits
+Normal rank
@@ Property / cites work @@
+Reversible arithmetic logic unit for quantum arithmetic
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Design Flow for Reversible Logic
@@ Property / cites work: Towards a Design Flow for Reversible Logic / rank @@
+Normal rank