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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-52921-8_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2489308093
@@ Property / OpenAlex ID: W2489308093 / rank @@
+Normal rank
@@ 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