Pages that link to "Item:Q5313091"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313091):
Displaying 8 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- A programmable editor for developing structured documents based on bidirectional transformations (Q2271900) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Merging Hierarchically-Structured Documents in Workflow Systems (Q2873660) (← links)
