The following pages link to (Q4414734):
Displaying 9 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- On reversible Turing machines and their function universality (Q303695) (← links)
- Self-generating program specializers (Q407546) (← links)
- Reverse universal resolving algorithm and inverse driving (Q444478) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Constructing a binary tree from its traversals by reversible recursion and iteration (Q2414043) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
