Pages that link to "Item:Q3612954"
From MaRDI portal
The following pages link to Automatic Partial Inversion of Inductively Sequential Functions (Q3612954):
Displaying 7 items.
- Reversible computation in term rewriting (Q1683707) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- (Q5020992) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)
