The following pages link to Functional and Logic Programming (Q5308028):
Displaying 9 items.
- On reversible Turing machines and their function universality (Q303695) (← 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)
- (Q3384916) (← links)
- (Q5014800) (← links)
- (Q5020992) (← links)
- Clean Reversible Simulations of Ranking Binary Trees (Q5112174) (← links)
