Pages that link to "Item:Q1989331"

The following pages link to A class of recursive permutations which is primitive recursive complete (Q1989331):

Displaying 6 items.

• A class of reversible primitive recursive functions (Q737109) (← links)
• 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)
• Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610) (← links)
• Algorithmically expressive, always-terminating model for reversible computation (Q6637584) (← links)