Pages that link to "Item:Q5492821"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492821):
Displaying 8 items.
- Translating regular expression matching into transducers (Q420836) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Derivatives for Regular Shuffle Expressions (Q2799179) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Partial Derivatives for Context-Free Languages (Q2988372) (← links)
- A Computational Interpretation of Context-Free Expressions (Q5056002) (← links)
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767) (← links)
