Pages that link to "Item:Q2848359"
From MaRDI portal
The following pages link to Coalgebraic characterizations of context-free languages (Q2848359):
Displaying 14 items.
- A fixed point characterization of cofinite languages (Q800497) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Context-free coalgebras (Q2341705) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- (Q2980965) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- (Q4227128) (← links)
- (Q4683859) (← links)
- A Computational Interpretation of Context-Free Expressions (Q5056002) (← links)
- Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029) (← links)
- Algebra and Coalgebra in Computer Science (Q5492823) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)