The following pages link to (Q4535080):
Displaying 6 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Real-Time Methods in Reversible Computation (Q2822490) (← links)
- Time and space complexity of reversible pebbling (Q4825392) (← links)
