Pages that link to "Item:Q2545843"
From MaRDI portal
The following pages link to Symposium on semantics of algorithmic languages (Q2545843):
Displaying 7 items.
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- Formal model of internal measurement: Alternate changing between recursive definition and domain equation (Q1373932) (← links)
- Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process (Q1805822) (← links)
- Orthomodular lattice obtained from addressing a fixed point (Q1808259) (← links)
- Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems (Q2559259) (← links)
