scientific article; zbMATH DE number 1333613
From MaRDI portal
Publication:4260387
zbMath0925.68154MaRDI QIDQ4260387
Publication date: 19 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semantics of a sequential language for exact real-number computation ⋮ A Denotational Semantics for Total Correctness of Sequential Exact Real Programs ⋮ Sequential real number computation and recursive relations ⋮ Hierarchies of total functionals over the reals ⋮ Sequential Real Number Computation and Recursive Relations ⋮ First-Order Universality for Real Programs ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ Integration in Real PCF ⋮ Contractivity of linear fractional transformations
This page was built for publication: