Pages that link to "Item:Q1960529"
From MaRDI portal
The following pages link to An abstract data type for real numbers (Q1960529):
Displaying 13 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Independent subbases and non-redundant codings of separable metrizable spaces (Q616937) (← links)
- Hierarchies of total functionals over the reals (Q1434355) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- On the Cantor–Bendixson rank of a set that is searchable in Gödel’s T (Q2799751) (← links)
- Properties of domain representations of spaces through dyadic subbases (Q4593246) (← links)
- Representations of Complete Uniform Spaces via Uniform Domains (Q4916193) (← links)
- (Q4989402) (← links)
- Computing with Functionals—Computability Theory or Computer Science? (Q5479568) (← links)
