Pages that link to "Item:Q1683707"
From MaRDI portal
The following pages link to Reversible computation in term rewriting (Q1683707):
Displaying 12 items.
- A theory of reversibility for Erlang (Q1785852) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← links)
- Reversibility in space-bounded computation (Q2930716) (← links)
- (Q3384917) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Reversible Term Rewriting (Q5369493) (← links)
- Reversible combinatory logic (Q5482262) (← links)