Sequential real number computation and recursive relations
From MaRDI portal
Publication:3528145
Recommendations
Cites work
- scientific article; zbMATH DE number 1670818 (Why is no real title available?)
- scientific article; zbMATH DE number 1333613 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- LCF considered as a programming language
- Notions of computation and monads
- On the non-sequential nature of the interval-domain model of real-number computation
- Recursive characterization of computable real-valued functions and relations
- Semantics of a sequential language for exact real-number computation
- Sequential real number computation and recursive relations
- Sequentiality and piecewise-affinity in segments of Real-PCF
Cited in
(4)
This page was built for publication: Sequential real number computation and recursive relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528145)