Pages that link to "Item:Q789892"
From MaRDI portal
The following pages link to Corrigendum: On infinite computations in denotational semantics (Q789892):
Displaying 4 items.
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Corrigendum to: ``On the computing powers of \(\mathcal{L}\)-reductions of insertion languages'' (Q2139059) (← links)
- A Case Study in Abstract Interpretation Based Program Transformation (Q4917048) (← links)
- Correction to 'Representational and denotational semantics of digital systems' (Q5375440) (← links)