Pages that link to "Item:Q1929334"
From MaRDI portal
The following pages link to A proof of Moessner's theorem by coinduction (Q1929334):
Displayed 5 items.
- A characterization of Moessner's sieve (Q2253190) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184) (← links)
- (Q2980965) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)