Pages that link to "Item:Q2830051"

The following pages link to Describing and Optimising Reversible Logic Using a Functional Language (Q2830051):

Displaying 2 items.

• Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
• Checking Reversibility of Boolean Functions (Q3186609) (← links)