Pages that link to "Item:Q700978"
From MaRDI portal
The following pages link to The universal resolving algorithm and its correctness: Inverse computation in a functional language (Q700978):
Displaying 7 items.
- Reverse universal resolving algorithm and inverse driving (Q444478) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- (Q5020992) (← 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)
