Pages that link to "Item:Q1989331"
From MaRDI portal
The following pages link to A class of recursive permutations which is primitive recursive complete (Q1989331):
Displayed 5 items.
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
- (Q5018491) (← links)
- Splitting Recursion Schemes into Reversible and Classical Interacting Threads (Q5162610) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610) (← links)