Pages that link to "Item:Q2830051"
From MaRDI portal
The following pages link to Describing and Optimising Reversible Logic Using a Functional Language (Q2830051):
Displaying 5 items.
- Towards VHDL-based design of reversible circuits. Work in progress report (Q1705586) (← links)
- \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
- Checking Reversibility of Boolean Functions (Q3186609) (← links)
- Reversible combinatory logic (Q5482262) (← links)