Pages that link to "Item:Q3431543"
From MaRDI portal
The following pages link to Affine functions and series with co-inductive real numbers (Q3431543):
Displaying 4 items.
- Proofs, programs, processes (Q693063) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
