Pages that link to "Item:Q2822499"
From MaRDI portal
The following pages link to Towards a Domain-Specific Language for Reversible Assembly Sequences (Q2822499):
Displaying 7 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- The Degree of Irreversibility in Deterministic Finite Automata (Q2830203) (← links)
- The Degree of Irreversibility in Deterministic Finite Automata (Q4605511) (← links)
- A small-step semantics for Janus (Q6637592) (← links)
- Join inverse rig categories for reversible functional programming, and beyond (Q6653754) (← links)