Pages that link to "Item:Q3021409"
From MaRDI portal
The following pages link to Concrete stream calculus: An extended study (Q3021409):
Displaying 7 items.
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- A characterization of Moessner's sieve (Q2253190) (← links)
- (Q2980965) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)
