Pages that link to "Item:Q1960529"

The following pages link to An abstract data type for real numbers (Q1960529):

Displaying 10 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)
• Computing with Functionals—Computability Theory or Computer Science? (Q5479568) (← links)