Pages that link to "Item:Q3003309"
From MaRDI portal
The following pages link to From coinductive proofs to exact real arithmetic: theory and applications (Q3003309):
Displaying 7 items.
- Proofs, programs, processes (Q693063) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
