Pages that link to "Item:Q1123625"

The following pages link to Generation of invertible functions (Q1123625):

Displaying 4 items.

• A class of reversible primitive recursive functions (Q737109) (← links)
• A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
• Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
• Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610) (← links)