The following pages link to (Q2851538):
Displayed 4 items.
- 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)