Pages that link to "Item:Q4659540"
From MaRDI portal
The following pages link to On the non-sequential nature of the interval-domain model of real-number computation (Q4659540):
Displayed 7 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)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Sequential real number computation and recursive relations (Q3528145) (← links)
- On naturally continuous non-dcpo domains (Q4593242) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)
- On the Non-sequential Nature of Domain Models of Real-number Computation (Q5262928) (← links)