Pages that link to "Item:Q2039908"
From MaRDI portal
The following pages link to Reversible computations in logic programming (Q2039908):
Displaying 7 items.
- Programs with restoration of computations (Q1592016) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Computing the number of the equivalence classes for reversible logic functions (Q2197037) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← links)
- (Q3384917) (← links)
- Reversible combinatory logic (Q5482262) (← links)