The following pages link to (Q5472880):
Displaying 10 items.
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Constructing a binary tree from its traversals by reversible recursion and iteration (Q2414043) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Tail recursion transformation for invertible functions (Q6148109) (← links)
- Towards a dereversibilizer: fewer asserts, statically (Q6148113) (← links)
