Pages that link to "Item:Q2851538"
From MaRDI portal
The following pages link to Sequentiality and piecewise-affinity in segments of Real-PCF (Q2851538):
Displaying 5 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- A Denotational Semantics for Total Correctness of Sequential Exact Real Programs (Q3502663) (← links)
- Sequential real number computation and recursive relations (Q3528145) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)