Pages that link to "Item:Q2822512"
From MaRDI portal
The following pages link to Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512):
Displaying 4 items.
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization (Q3187814) (← links)
- Compositional reversible computation (Q6637582) (← links)
- Jeopardy: an invertible functional programming language (Q6637593) (← links)