The following pages link to Joost Winter (Q2341704):
Displayed 8 items.
- Context-free coalgebras (Q2341705) (← links)
- Coalgebraic Characterizations of Context-Free Languages (Q2848359) (← links)
- Defining Context-Free Power Series Coalgebraically (Q2914674) (← links)
- A Completeness Result for Finite λ-bisimulations (Q2948555) (← links)
- Context-Free Languages, Coalgebraically (Q3090880) (← links)
- Is P = PSPACE for Infinite Time Turing Machines? (Q3644798) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)