Real number computation with committed choice logic programming languages
From MaRDI portal
(Redirected from Publication:1779564)
Recommendations
Cites work
- scientific article; zbMATH DE number 41233 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1746047 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- Compact metric spaces as minimal-limit sets in domains of bottomed sequences
- Nondeterminism and infinite computations in constraint programming
- Programming Languages and Systems
- Real number computation through Gray code embedding.
Cited in
(8)- SHRAD: A language for sequential real number computation
- Extracting total Amb programs from proofs
- Real number computation through Gray code embedding.
- A programming language for the interval geometric machine
- Lookahead analysis in exact real arithmetic with logical methods
- Logic for Gray-code computation
- Programming Languages and Systems
- Intuitionistic fixed point logic
This page was built for publication: Real number computation with committed choice logic programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1779564)