Pages that link to "Item:Q2820684"
From MaRDI portal
The following pages link to A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684):
Displaying 6 items.
- An efficient method to synthesize reversible logic by using positive Davio decision diagrams (Q531239) (← links)
- A library of reversible circuit transformations (work in progress) (Q1796404) (← links)
- Computing the number of the equivalence classes for reversible logic functions (Q2197037) (← links)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- (Q4362929) (← links)
- Reversible combinatory logic (Q5482262) (← links)
