TY  - RPRT
TI  - On Star Expressions and Coalgebraic Completeness Theorems
AU  - Todd Schmid
AU  - Jurriaan Rot
AU  - Alexandra Silva
PY  - 2022
DO  - 10.4204/eptcs.351.15
UR  - https://arxiv.org/abs/2106.08074
ID  - 2106.08074
ER  -