Pages that link to "Item:Q2986809"
From MaRDI portal
The following pages link to Automatic Sequences and Zip-Specifications (Q2986809):
Displaying 7 items.
- Linearization of automatic arrays and weave specifications (Q265828) (← links)
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- (Q2980965) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)