Pages that link to "Item:Q1929334"
From MaRDI portal
The following pages link to A proof of Moessner's theorem by coinduction (Q1929334):
Displaying 10 items.
- Moessnerian theorems. How to prove them by simple graph theoretical inspection (Q750485) (← links)
- Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq} (Q2026804) (← links)
- 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)
- The power of parameterization in coinductive proof (Q2931796) (← links)
- (Q2980965) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- On Moessner’s Theorem (Q4921852) (← links)
- Typed Lambda Calculi and Applications (Q5704032) (← links)