The following pages link to SHRAD (Q15202):
Displaying 5 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)
- New Computational Paradigms (Q5717030) (← links)