The following pages link to LRinv (Q46055):
Displaying 8 items.
- (Q50049) (redirect page) (← links)
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (Q784127) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
