White Dots do Matter: Rewriting Reversible Logic Circuits

DOI10.1007/978-3-642-38986-3_16zbMath1406.68031OpenAlexW10878691MaRDI QIDQ2868449

Michael Kirkedal Thomsen, Mathias Soeken

Publication date: 17 December 2013

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38986-3_16

zbMATH Keywords

term rewritingreversible logiccircuit equivalencecircuit optimisation

Mathematics Subject Classification ID

Quantum computation (81P68) Grammars and rewriting systems (68Q42)

Related Items (9)

Enumeration of Reversible Functions and Its Application to Circuit Complexity ⋮ Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization ⋮ Upper bounds for reversible circuits based on Young subgroups ⋮ Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls ⋮ Hybrid Control of Toffoli and Peres Gates ⋮ OR-Toffoli and OR-Peres Reversible Gates ⋮ A Classical Propositional Logic for Reasoning About Reversible Logic Circuits ⋮ Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics ⋮ Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures

This page was built for publication: White Dots do Matter: Rewriting Reversible Logic Circuits