Pages that link to "Item:Q1401215"
From MaRDI portal
The following pages link to Linear programs in a simple reversible language. (Q1401215):
Displayed 8 items.
- A class of reversible primitive recursive functions (Q737109) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- The fixed point problem of a simple reversible language (Q1989327) (← 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)
- Reversible computing from a programming language perspective (Q2693633) (← 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)