Pages that link to "Item:Q1989327"
From MaRDI portal
The following pages link to The fixed point problem of a simple reversible language (Q1989327):
Displaying 3 items.
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← 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)
