Pages that link to "Item:Q2373708"
From MaRDI portal
The following pages link to Semantics of a sequential language for exact real-number computation (Q2373708):
Displaying 12 items.
- Proofs, programs, processes (Q693063) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Semantical proofs of correctness for programs performing non-deterministic tests on real numbers (Q3060187) (← links)
- A Denotational Semantics for Total Correctness of Sequential Exact Real Programs (Q3502663) (← links)
- Sequential real number computation and recursive relations (Q3528145) (← links)
- First-Order Universality for Real Programs (Q3576032) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- On naturally continuous non-dcpo domains (Q4593242) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
- (Q5856423) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
